Bob has a round face and is very nice. Red Charlie is what folks call him, because he is quite red. The big, round, blue guy is Dave. He's kind but rather rough. Gary is young and green, so although he is rough and blue with sadness, he'll grow out of it. Young people who are big, downhearted, and blue are kind. Rough people, round from over eating, who are also cold are young and don't mind the draft. A rough, blue person is often said to be nice. Nice people who are big are always cold because they can't find space near the heater. They found the ones that were round, blue, and green to be nice. Anybody that is blue, red and cold will also be round, for sure. Someone can be big and rough, but cold even though they are kind.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Gary is nice.
True
3
proof
[(((triple12 triple10) -> rule3))]
("Gary" "is" "nice" "+")
((triple12 triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple7 triple5) -> rule3))]
("Dave" "is" "nice" "-")
((triple7 triple5) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
True
5
proof
[(((triple8 ((triple7 triple5) -> rule3)) -> rule4))]
("Dave" "is" "cold" "+")
((triple8 ((triple7 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((triple8 ((triple7 triple5) -> rule3)) -> rule4))]
("Dave" "is" "cold" "-")
((triple8 ((triple7 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
True
8
proof
[(((triple4 ((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5) -> rule2))]
("Dave" "is" "young" "+")
((triple4 ((triple8 ((triple7 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not young.
False
8
inv-proof
[(((triple4 ((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5) -> rule2))]
("Dave" "is" "young" "-")
((triple4 ((triple8 ((triple7 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is red.[(triple3)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is kind.[(triple6 OR ((((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5 triple8) -> rule7) OR ((triple8 triple7 ((triple4 ((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5) -> rule2)) -> rule1))] Dave is rough.[(triple5)] Dave is round.[(triple4)] Gary is blue.[(triple12)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Dave is nice.[(((triple7 triple5) -> rule3))] Gary is nice.[(((triple12 triple10) -> rule3))] @2: Dave is cold.[(((triple8 ((triple7 triple5) -> rule3)) -> rule4))] @3: Dave is young.[(((triple4 ((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((((triple8 ((triple7 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5 triple8) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple8 triple7 ((triple4 ((triple8 ((triple7 triple5) -> (rule3 % int4))) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple5) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple12 triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 ((triple7 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple4 ((triple8 ((triple7 triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob has a round face and is very nice.
Red Charlie is what folks call him, because he is quite red.
The big, round, blue guy is Dave; He's kind but rather rough.
Gary is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Young people who are big, downhearted, and blue are kind.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
A rough, blue person is often said to be nice.
Nice people who are big are always cold because they can't find space near the heater.
They found the ones that were round, blue, and green to be nice.
Anybody that is blue, red and cold will also be round, for sure.
Someone can be big and rough, but cold even though they are kind.