﻿#-----------------------------------------------------------------
# This test executes the examples of my Scientific Challenge.
# For more info, see the included Scientific Challenge document,
# or: http://mafait.org/challenge/
#-----------------------------------------------------------------
# Block 1: Direct conversions
#-----------------------------------------------------------------
勇是军的儿子。
媛的女儿叫瑞。
每个车子都有发动机。
帆都是每帆船的一部分。
#-----------------------------------------------------------------
# Block 2: Indirect conversions
#-----------------------------------------------------------------
每个家庭都有父母和孩子。
磊是父母。
浩是孩子。
淘有父母。
健有孩子。
#-----------------------------------------------------------------
# Block 3: Grouping of knowledge
#-----------------------------------------------------------------
军是勇的父母。
媛是勇的父母。
勇的父母叫军和媛。
#-----------------------------------------------------------------
# Block 4: Past tense reasoning
#-----------------------------------------------------------------
洁曾经是淘的父亲。
每个父亲都是男。
#-----------------------------------------------------------------
# Block 5: Detection of a conflict and generation of a question
#-----------------------------------------------------------------
每个人都是男或女。
平是男和女。
平是人。
平不是女。
#-----------------------------------------------------------------
# Block 6: Archiving of knowledge
#-----------------------------------------------------------------
巴拉克·奥巴马是美国的总统。
唐纳德·特朗普是美国的总统。
# To continue, click button «清除你的想法» or «重启».