Bob is both young and fairly round in size. Dave is blue because he is round and big. He is young a bit rough around the edges. Fred always goes out of his way to show that he is kind to people. Harry is big and rough. People with big hands and red, rough skin are terribly kind. Blue people who are kind and nice are actually quite rough. If a nice person is round shaped, they feel blue about it. Looking blue can be a sign that someone is cold. A big, green person who is cold is assumed to be red also. Someone who is cold and big is also a red person.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Harry is not rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Dave is cold.
True
2
proof
[(((triple6) -> rule4))]
("Dave" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple6) -> rule4))]
("Dave" "is" "cold" "-")
((triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
True
4
proof
[(((triple7 ((triple6) -> rule4)) -> rule6))]
("Dave" "is" "red" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not red.
False
4
inv-proof
[(((triple7 ((triple6) -> rule4)) -> rule6))]
("Dave" "is" "red" "-")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
True
7
proof
[(((triple5 triple7 ((triple7 ((triple6) -> rule4)) -> rule6)) -> rule1))]
("Dave" "is" "kind" "+")
((triple5 triple7 ((triple7 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not kind.
False
7
inv-proof
[(((triple5 triple7 ((triple7 ((triple6) -> rule4)) -> rule6)) -> rule1))]
("Dave" "is" "kind" "-")
((triple5 triple7 ((triple7 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@4: Harry is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule4 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Fred is kind.[(triple8)] Harry is big.[(triple10)] Harry is rough.[(triple9)] @1: Dave is cold.[(((triple6) -> rule4))] @2: Dave is red.[(((triple7 ((triple6) -> rule4)) -> rule6))] @3: Dave is kind.[(((triple5 triple7 ((triple7 ((triple6) -> rule4)) -> rule6)) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 triple7 ((triple7 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is both young and fairly round in size.
Dave is blue because he is round and big; He is young a bit rough around the edges.
Fred always goes out of his way to show that he is kind to people.
Harry is big and rough.
People with big hands and red, rough skin are terribly kind.
Blue people who are kind and nice are actually quite rough.
If a nice person is round shaped, they feel blue about it.
Looking blue can be a sign that someone is cold.
A big, green person who is cold is assumed to be red also.
Someone who is cold and big is also a red person.