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.
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.