Charlie is a nice person who is red because he has a rash. Fred is big and rough, but he is also green, and is nice and kind when you want him to be. Gary was looking rather round and feeling rather cold, but people thought he is kind. Upon meeting Harry, you'll notice he's green and kind. Someone who is both red and blue will also be a nice person. People who are green and blue tend to be round in shape. A nice, big person that is red is usually young. Most of the people that are big and nice with green eyes, will be round. If a young person knows he is big and round, then he will be blue. If a person has round shape then they are also green and red. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Fred is round.
True
4
proof
[(((triple7 triple4 triple6) -> rule4))]
("Fred" "is" "round" "+")
((triple7 triple4 triple6) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
4
inv-proof
[(((triple7 triple4 triple6) -> rule4))]
("Fred" "is" "round" "-")
((triple7 triple4 triple6) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
True
6
proof
[(((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6))]
("Fred" "is" "red" "+")
((triple6 ((triple7 triple4 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not red.
False
6
inv-proof
[(((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6))]
("Fred" "is" "red" "-")
((triple6 ((triple7 triple4 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
True
9
proof
[(((triple4 ((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6) triple7) -> rule3))]
("Fred" "is" "young" "+")
((triple4 ((triple6 ((triple7 triple4 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not young.
False
9
inv-proof
[(((triple4 ((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6) triple7) -> rule3))]
("Fred" "is" "young" "-")
((triple4 ((triple6 ((triple7 triple4 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
True
15
proof
[(((((triple7 triple4 triple6) -> rule4) triple7 ((triple4 ((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6) triple7) -> rule3)) -> rule5))]
("Fred" "is" "blue" "+")
((((triple7 triple4 triple6) -> (rule4 % int4)) triple7 ((triple4 ((triple6 ((triple7 triple4 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is not blue.
False
15
inv-proof
[(((((triple7 triple4 triple6) -> rule4) triple7 ((triple4 ((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6) triple7) -> rule3)) -> rule5))]
("Fred" "is" "blue" "-")
((((triple7 triple4 triple6) -> (rule4 % int4)) triple7 ((triple4 ((triple6 ((triple7 triple4 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Fred is big.[(triple7)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Fred is nice.[(triple4)] Fred is rough.[(triple3)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Harry is green.[(triple12)] Harry is kind.[(triple11)] @1: Fred is round.[(((triple7 triple4 triple6) -> rule4))] @2: Fred is red.[(((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6))] @3: Fred is young.[(((triple4 ((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6) triple7) -> rule3))] @4: Fred is blue.[(((((triple7 triple4 triple6) -> rule4) triple7 ((triple4 ((triple6 ((triple7 triple4 triple6) -> rule4)) -> rule6) triple7) -> rule3)) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple4 triple6) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple6 ((triple7 triple4 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple4 ((triple6 ((triple7 triple4 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
((((triple7 triple4 triple6) -> (rule4 % int4)) triple7 ((triple4 ((triple6 ((triple7 triple4 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Charlie is a nice person who is red because he has a rash.
Fred is big and rough, but he is also green, and is nice and kind when you want him to be.
Gary was looking rather round and feeling rather cold, but people thought he is kind.
Upon meeting Harry, you'll notice he's green and kind.
Someone who is both red and blue will also be a nice person.
People who are green and blue tend to be round in shape.
A nice, big person that is red is usually young.
Most of the people that are big and nice with green eyes, will be round.
If a young person knows he is big and round, then he will be blue.
If a person has round shape then they are also green and red.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.