Bob looks red to most people, with blue features. Charlie is big and green guy whose cold personality makes him seem very rough. Fred is very nice to people, but he's also rather big. In the snow sits Gary, crying from being cold. When someone is young, they can be cold but kind. A person who is cold with a red nose will be feeling blue. Big, kind, and nice people are often red in color. When someone is big with rough skin they will look red. Nice people are cold people. Someone that is red and blue because they are cold are also round.
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Fred is nice.
True
1
proof
[(triple7)]
("Fred" "is" "nice" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Fred is cold.
True
2
proof
[(((triple7) -> rule5))]
("Fred" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple3 triple6) -> rule4))]
("Charlie" "is" "red" "-")
((triple3 triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
True
5
proof
[(((triple5 ((triple3 triple6) -> rule4)) -> rule2))]
("Charlie" "is" "blue" "+")
((triple5 ((triple3 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((triple5 ((triple3 triple6) -> rule4)) -> rule2))]
("Charlie" "is" "blue" "-")
((triple5 ((triple3 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
True
10
proof
[(((((triple5 ((triple3 triple6) -> rule4)) -> rule2) ((triple3 triple6) -> rule4) triple5) -> rule6))]
("Charlie" "is" "round" "+")
((((triple5 ((triple3 triple6) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3 triple6) -> (rule4 % int3)) triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not round.
False
10
inv-proof
[(((((triple5 ((triple3 triple6) -> rule4)) -> rule2) ((triple3 triple6) -> rule4) triple5) -> rule6))]
("Charlie" "is" "round" "-")
((((triple5 ((triple3 triple6) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3 triple6) -> (rule4 % int3)) triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "red" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Bob is blue.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is rough.[(triple3)] Fred is big.[(triple8)] Fred is nice.[(triple7)] Gary is cold.[(triple9)] @1: Charlie is red.[(((triple3 triple6) -> rule4))] Fred is cold.[(((triple7) -> rule5))] @2: Charlie is blue.[(((triple5 ((triple3 triple6) -> rule4)) -> rule2))] @3: Charlie is round.[(((((triple5 ((triple3 triple6) -> rule4)) -> rule2) ((triple3 triple6) -> rule4) triple5) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 ((triple3 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5 ((triple3 triple6) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3 triple6) -> (rule4 % int3)) triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob looks red to most people, with blue features.
Charlie is big and green guy whose cold personality makes him seem very rough.
Fred is very nice to people, but he's also rather big.
In the snow sits Gary, crying from being cold.
When someone is young, they can be cold but kind.
A person who is cold with a red nose will be feeling blue.
Big, kind, and nice people are often red in color.
When someone is big with rough skin they will look red.
Nice people are cold people.
Someone that is red and blue because they are cold are also round.