Alan is a nice person, but he is both blue and red. Bob was born only a few years ago so he is young. Others enjoy Charlie's company because he is so nice and kind. Because Fred gets cold easily he tends to appear round from bundling up. Rough people are often round. A nice and colored blue person will be rather big. Nice people who are big are always cold because they can't find space near the heater. Young people who are cold and painted red are usually big and part of the football team. A person with a round body will be feeling very cold and will be rough to handle. Nice people who are big in stature often look rough. Nice green people who feel blue are often red in color.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Bob is young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Alan is big.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Alan" "is" "big" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Alan" "is" "big" "-")
((triple3 triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
True
5
proof
[(((((triple3 triple2) -> rule2) triple2) -> rule3))]
("Alan" "is" "cold" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not cold.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple2) -> rule3))]
("Alan" "is" "cold" "-")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is round.
True
6
proof
[(((((triple2 ((triple3 triple2) -> rule2)) -> rule6)) -> rule1))]
("Alan" "is" "round" "+")
((((triple2 ((triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not round.
False
6
inv-proof
[(((((triple2 ((triple3 triple2) -> rule2)) -> rule6)) -> rule1))]
("Alan" "is" "round" "-")
((((triple2 ((triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "red" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not round.
Unknown
inv-rconc
[@3: Charlie is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is rough.
Unknown
rconc
[@3: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is young.[(triple4)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Fred is cold.[(triple8)] Fred is round.[(triple7)] @1: Alan is big.[(((triple3 triple2) -> rule2))] Fred is rough.[(((triple8 triple7) -> rule5))] @2: Alan is cold.[(((((triple3 triple2) -> rule2) triple2) -> rule3))] Alan is rough.[(((triple2 ((triple3 triple2) -> rule2)) -> rule6))] @3: Alan is round.[(((((triple2 ((triple3 triple2) -> rule2)) -> rule6)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple7) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple2 ((triple3 triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is a nice person, but he is both blue and red.
Bob was born only a few years ago so he is young.
Others enjoy Charlie's company because he is so nice and kind.
Because Fred gets cold easily he tends to appear round from bundling up.
Rough people are often round.
A nice and colored blue person will be rather big.
Nice people who are big are always cold because they can't find space near the heater.
Young people who are cold and painted red are usually big and part of the football team.
A person with a round body will be feeling very cold and will be rough to handle.
Nice people who are big in stature often look rough.
Nice green people who feel blue are often red in color.