Bob wears all blue. Eric loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Fred is a nice and red, but very kind person as soon as you meet him. Gary is round and kind. He works outside and is often cold with red cheeks and blue lips. A person that is both green and red tends to be cold as well. Anyone that is a red, nice soul will be big, too. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Rough and green people are also nice. Being green, blue, and red all point to how young someone was. A kind, young human will also be a blue human. A blue, rough and round person will also be a big person.
Bob is blue.
("Bob" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Fred is kind.
True
1
proof
[(triple7)]
("Fred" "is" "kind" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Fred is big.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Fred" "is" "big" "+")
((triple5 triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("Fred" "is" "big" "-")
((triple5 triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
True
6
proof
[(((triple6 ((triple5 triple6) -> rule2) triple7) -> rule3))]
("Fred" "is" "young" "+")
((triple6 ((triple5 triple6) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not young.
False
6
inv-proof
[(((triple6 ((triple5 triple6) -> rule2) triple7) -> rule3))]
("Fred" "is" "young" "-")
((triple6 ((triple5 triple6) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
True
8
proof
[(((triple7 ((triple6 ((triple5 triple6) -> rule2) triple7) -> rule3)) -> rule6))]
("Fred" "is" "blue" "+")
((triple7 ((triple6 ((triple5 triple6) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not blue.
False
8
inv-proof
[(((triple7 ((triple6 ((triple5 triple6) -> rule2) triple7) -> rule3)) -> rule6))]
("Fred" "is" "blue" "-")
((triple7 ((triple6 ((triple5 triple6) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is blue.[(triple1)] Eric is cold.[(triple4)] Eric is rough.[(triple3)] Eric is round.[(triple2)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Fred is big.[(((triple5 triple6) -> rule2))] @2: Fred is young.[(((triple6 ((triple5 triple6) -> rule2) triple7) -> rule3))] @3: Fred is blue.[(((triple7 ((triple6 ((triple5 triple6) -> rule2) triple7) -> rule3)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
((triple5 triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple6 ((triple5 triple6) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 ((triple6 ((triple5 triple6) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Bob wears all blue.
Eric loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Fred is a nice and red, but very kind person as soon as you meet him.
Gary is round and kind; He works outside and is often cold with red cheeks and blue lips.
A person that is both green and red tends to be cold as well.
Anyone that is a red, nice soul will be big, too.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Rough and green people are also nice.
Being green, blue, and red all point to how young someone was.
A kind, young human will also be a blue human.
A blue, rough and round person will also be a big person.