That man standing next to you with a big round body goes by the name of Alan. Eric is blue and cold. Fred is rough and red, but he is still young; he is still blue with youth. My friend Gary is very young. People say he is nice for having a round shape. You will find that a big, young, blue person is also quite round. Anyone that is a red, nice soul will be big, too. Young round folks who are at least a bit red are actually nice. A nice and cold person can be counted on to be a young person at the same time. Round people are often red before they turn green. Whenever you see Pete you run into a young man rough, which means he will be nice. Whenever someone is kind as well as round and cold, they will definitely be blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Eric is blue.
True
1
proof
[(triple4)]
("Eric" "is" "blue" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple8)]
("Fred" "is" "blue" "-")
triple8
Fred is nice.
True
3
proof
[(((triple5 triple6) -> rule6))]
("Fred" "is" "nice" "+")
((triple5 triple6) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule6))]
("Fred" "is" "nice" "-")
((triple5 triple6) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
True
5
proof
[(((triple7 ((triple5 triple6) -> rule6)) -> rule2))]
("Fred" "is" "big" "+")
((triple7 ((triple5 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not big.
False
5
inv-proof
[(((triple7 ((triple5 triple6) -> rule6)) -> rule2))]
("Fred" "is" "big" "-")
((triple7 ((triple5 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
True
8
proof
[(((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1))]
("Fred" "is" "round" "+")
((triple5 ((triple7 ((triple5 triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not round.
False
8
inv-proof
[(((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1))]
("Fred" "is" "round" "-")
((triple5 ((triple7 ((triple5 triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
True
10
proof
[(((((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1) triple7) -> rule5))]
("Fred" "is" "green" "+")
((((triple5 ((triple7 ((triple5 triple6) -> (rule6 % int4))) -> (rule2 % int3)) triple8) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is not green.
False
10
inv-proof
[(((((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1) triple7) -> rule5))]
("Fred" "is" "green" "-")
((((triple5 ((triple7 ((triple5 triple6) -> (rule6 % int4))) -> (rule2 % int3)) triple8) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Eric is blue.[(triple4)] Eric is cold.[(triple3)] Fred is blue.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Gary is nice.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Fred is nice.[(((triple5 triple6) -> rule6))] @2: Fred is big.[(((triple7 ((triple5 triple6) -> rule6)) -> rule2))] @3: Fred is round.[(((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1))] @4: Fred is green.[(((((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1) triple7) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
((triple5 triple6) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple7 ((triple5 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple5 ((triple7 ((triple5 triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((((triple5 ((triple7 ((triple5 triple6) -> (rule6 % int4))) -> (rule2 % int3)) triple8) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
That man standing next to you with a big round body goes by the name of Alan.
Eric is blue and cold.
Fred is rough and red, but he is still young; he is still blue with youth.
My friend Gary is very young; People say he is nice for having a round shape.
You will find that a big, young, blue person is also quite round.
Anyone that is a red, nice soul will be big, too.
Young round folks who are at least a bit red are actually nice.
A nice and cold person can be counted on to be a young person at the same time.
Round people are often red before they turn green.
Whenever you see Pete you run into a young man rough, which means he will be nice.
Whenever someone is kind as well as round and cold, they will definitely be blue.