Bob gets red when he is mad and tends to act very cold. Red Charlie is what folks call him, because he is quite red. Big Dave is cold but kind and always green. You will probably see that red, round people are nice, as well as green. If you big person approaches and is cold, fear not because they are nice. Someone can be young, big, and cold but green. A person that is known to be big and rough is also green, they will feel blue about it. Round and somewhat big people manage to be kind to everyone. Kind people who are nice find that they must also be rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Dave is not cold.
False
1
inv-proof
[(triple6)]
("Dave" "is" "cold" "-")
triple6
Dave is nice.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Dave" "is" "nice" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Dave" "is" "nice" "-")
((triple7 triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
True
5
proof
[(((triple4 ((triple7 triple6) -> rule2)) -> rule6))]
("Dave" "is" "rough" "+")
((triple4 ((triple7 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((triple4 ((triple7 triple6) -> rule2)) -> rule6))]
("Dave" "is" "rough" "-")
((triple4 ((triple7 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
True
8
proof
[(((triple7 ((triple4 ((triple7 triple6) -> rule2)) -> rule6) triple5) -> rule4))]
("Dave" "is" "blue" "+")
((triple7 ((triple4 ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not blue.
False
8
inv-proof
[(((triple7 ((triple4 ((triple7 triple6) -> rule2)) -> rule6) triple5) -> rule4))]
("Dave" "is" "blue" "-")
((triple7 ((triple4 ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is cold.[(triple2)] Bob is red.[(triple1)] Charlie is red.[(triple3)] Dave is big.[(triple7)] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] @1: Dave is nice.[(((triple7 triple6) -> rule2))] @2: Dave is rough.[(((triple4 ((triple7 triple6) -> rule2)) -> rule6))] @3: Dave is blue.[(((triple7 ((triple4 ((triple7 triple6) -> rule2)) -> rule6) triple5) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 ((triple7 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 ((triple4 ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob gets red when he is mad and tends to act very cold.
Red Charlie is what folks call him, because he is quite red.
Big Dave is cold but kind and always green.
You will probably see that red, round people are nice, as well as green.
If you big person approaches and is cold, fear not because they are nice.
Someone can be young, big, and cold but green.
A person that is known to be big and rough is also green, they will feel blue about it.
Round and somewhat big people manage to be kind to everyone.
Kind people who are nice find that they must also be rough.