Bob is both young and fairly round in size. Although Charlie is young and nice, he is as cold as ice. Fred is a nice person, but he is both blue and red. Big Gary is a nice young man who also happens to be red. A big person who also feels blue and a bit green are usually wearing red. Green, nice people who have round shapes are going to be kind to you. A young person with rough red skin is downhearted and blue. Young people who rough around in the cold are known to be very red. A person that is nice and young is also going to be a person that is rough. Folks who are nice and young with red coloration tend to feel blue. Blue, red, young people are always going to be kind people, too.
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Fred is blue.
True
1
proof
[(triple8)]
("Fred" "is" "blue" "+")
triple8
Gary is not big.
False
1
inv-proof
[(triple12)]
("Gary" "is" "big" "-")
triple12
Gary is blue.
True
4
proof
[(((triple11 triple9 triple10) -> rule6) OR ((((triple11 triple9) -> rule5) triple9 triple10) -> rule3))]
("Gary" "is" "blue" "+")
((triple11 triple9 triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple11 triple9) -> (rule5 % int2)) triple9 triple10) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Charlie is not rough.
False
3
inv-proof
[(((triple4 triple3) -> rule5))]
("Charlie" "is" "rough" "-")
((triple4 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
True
6
proof
[(((((triple4 triple3) -> rule5) triple3 triple5) -> rule4))]
("Charlie" "is" "red" "+")
((((triple4 triple3) -> (rule5 % int2)) triple3 triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((((triple4 triple3) -> rule5) triple3 triple5) -> rule4))]
("Charlie" "is" "red" "-")
((((triple4 triple3) -> (rule5 % int2)) triple3 triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
True
9
proof
[(((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3))]
("Charlie" "is" "blue" "+")
((triple4 triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 triple3) -> (rule5 % int3)) triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not blue.
False
9
inv-proof
[(((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3))]
("Charlie" "is" "blue" "-")
((triple4 triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 triple3) -> (rule5 % int3)) triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
True
17
proof
[(((((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7) OR ((((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7))]
("Charlie" "is" "kind" "+")
((((triple4 triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple4 triple3) -> (rule5 % int4)) triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not kind.
False
17
inv-proof
[(((((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7) OR ((((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7))]
("Charlie" "is" "kind" "-")
((((triple4 triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple4 triple3) -> (rule5 % int4)) triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Fred is blue.[(triple8)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Gary is big.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] Gary is young.[(triple9)] @1: Charlie is rough.[(((triple4 triple3) -> rule5))] Gary is blue.[(((triple11 triple9 triple10) -> rule6) OR ((((triple11 triple9) -> rule5) triple9 triple10) -> rule3))] Gary is rough.[(((triple11 triple9) -> rule5))] @2: Charlie is red.[(((((triple4 triple3) -> rule5) triple3 triple5) -> rule4))] Gary is kind.[(((((triple11 triple9 triple10) -> rule6) triple10 triple9) -> rule7) OR ((((((triple11 triple9) -> rule5) triple9 triple10) -> rule3) triple10 triple9) -> rule7))] @3: Charlie is blue.[(((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3))] @4: Charlie is kind.[(((((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7) OR ((((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7))]
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 triple9 triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple11 triple9) -> (rule5 % int2)) triple9 triple10) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple3) -> (rule5 % int2)) triple3 triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple11 triple9 triple10) -> (rule6 % int2)) triple10 triple9) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple11 triple9) -> (rule5 % int3)) triple9 triple10) -> (rule3 % int2)) triple10 triple9) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 triple3) -> (rule5 % int3)) triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple4 triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple4 triple3) -> (rule5 % int4)) triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3 triple5) -> (rule4 % int3)) triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Bob is both young and fairly round in size.
Although Charlie is young and nice, he is as cold as ice.
Fred is a nice person, but he is both blue and red.
Big Gary is a nice young man who also happens to be red.
A big person who also feels blue and a bit green are usually wearing red.
Green, nice people who have round shapes are going to be kind to you.
A young person with rough red skin is downhearted and blue.
Young people who rough around in the cold are known to be very red.
A person that is nice and young is also going to be a person that is rough.
Folks who are nice and young with red coloration tend to feel blue.
Blue, red, young people are always going to be kind people, too.