In the snow sits Bob, crying from being cold. Charlie is a young man who is also kind, blue and rough. Gary is green, which is a possible explanation for why he is so nice. All kind, red, and young people are also nice. If someone is blue and rough, they always see red in others. When someone is blue, lives green they can be rough but kind. Round people are often red before they turn green. Round, young folks tend to feel blue. Young and nice people are ultimately cold.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Charlie is red.
True
3
proof
[(((triple5 triple3) -> rule2))]
("Charlie" "is" "red" "+")
((triple5 triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple5 triple3) -> rule2))]
("Charlie" "is" "red" "-")
((triple5 triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
True
6
proof
[(((triple4 ((triple5 triple3) -> rule2) triple2) -> rule1))]
("Charlie" "is" "nice" "+")
((triple4 ((triple5 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple4 ((triple5 triple3) -> rule2) triple2) -> rule1))]
("Charlie" "is" "nice" "-")
((triple4 ((triple5 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
True
8
proof
[(((triple2 ((triple4 ((triple5 triple3) -> rule2) triple2) -> rule1)) -> rule6))]
("Charlie" "is" "cold" "+")
((triple2 ((triple4 ((triple5 triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not cold.
False
8
inv-proof
[(((triple2 ((triple4 ((triple5 triple3) -> rule2) triple2) -> rule1)) -> rule6))]
("Charlie" "is" "cold" "-")
((triple2 ((triple4 ((triple5 triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is cold.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Gary is green.[(triple7)] Gary is nice.[(triple6)] @1: Charlie is red.[(((triple5 triple3) -> rule2))] @2: Charlie is nice.[(((triple4 ((triple5 triple3) -> rule2) triple2) -> rule1))] @3: Charlie is cold.[(((triple2 ((triple4 ((triple5 triple3) -> rule2) triple2) -> rule1)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
((triple5 triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple5 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 ((triple4 ((triple5 triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
In the snow sits Bob, crying from being cold.
Charlie is a young man who is also kind, blue and rough.
Gary is green, which is a possible explanation for why he is so nice.
All kind, red, and young people are also nice.
If someone is blue and rough, they always see red in others.
When someone is blue, lives green they can be rough but kind.
Round people are often red before they turn green.
Round, young folks tend to feel blue.
Young and nice people are ultimately cold.