Alan ate some rotten meat and now feels green. Bob is young, rough and green, but he turns blue when he is cold like anyone else. Charlie is so young and darling he is kind to all the old people on the block. Gary is young but big for his age. Gary wasn't feeling well so he is a little green. When young, round people are cold it their skin gets a blue tinge to it. Someone who is both red and blue will also be a nice person. Rough and cold and blue people are round. Get out of the way if a red and green person walks up to you because they are rough. As someone can be round and rough, they can also be nice and kind. People who are round and young are also quite nice.
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Bob is round.
True
4
proof
[(((triple3 triple6 triple5) -> rule3))]
("Bob" "is" "round" "+")
((triple3 triple6 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
4
inv-proof
[(((triple3 triple6 triple5) -> rule3))]
("Bob" "is" "round" "-")
((triple3 triple6 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
True
6
proof
[(((triple2 ((triple3 triple6 triple5) -> rule3)) -> rule6))]
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple6 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((triple2 ((triple3 triple6 triple5) -> rule3)) -> rule6))]
("Bob" "is" "nice" "-")
((triple2 ((triple3 triple6 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
True
12
proof
[(((((triple2 ((triple3 triple6 triple5) -> rule3)) -> rule6) ((triple3 triple6 triple5) -> rule3) triple3) -> rule5))]
("Bob" "is" "kind" "+")
((((triple2 ((triple3 triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple3 triple6 triple5) -> (rule3 % int3)) triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not kind.
False
12
inv-proof
[(((((triple2 ((triple3 triple6 triple5) -> rule3)) -> rule6) ((triple3 triple6 triple5) -> rule3) triple3) -> rule5))]
("Bob" "is" "kind" "-")
((((triple2 ((triple3 triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple3 triple6 triple5) -> (rule3 % int3)) triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Alan is green.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is rough.[(triple3)] Bob is young.[(triple2)] Charlie is kind.[(triple8)] Charlie is young.[(triple7)] Gary is big.[(triple11)] Gary is green.[(triple10)] Gary is young.[(triple9)] @1: Bob is round.[(((triple3 triple6 triple5) -> rule3))] @2: Bob is nice.[(((triple2 ((triple3 triple6 triple5) -> rule3)) -> rule6))] @3: Bob is kind.[(((((triple2 ((triple3 triple6 triple5) -> rule3)) -> rule6) ((triple3 triple6 triple5) -> rule3) triple3) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple6 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple3 triple6 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2 ((triple3 triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple3 triple6 triple5) -> (rule3 % int3)) triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan ate some rotten meat and now feels green.
Bob is young, rough and green, but he turns blue when he is cold like anyone else.
Charlie is so young and darling he is kind to all the old people on the block.
Gary is young but big for his age; Gary wasn't feeling well so he is a little green.
When young, round people are cold it their skin gets a blue tinge to it.
Someone who is both red and blue will also be a nice person.
Rough and cold and blue people are round.
Get out of the way if a red and green person walks up to you because they are rough.
As someone can be round and rough, they can also be nice and kind.
People who are round and young are also quite nice.