Dave, like all young people, is nice. As much as Eric is nice, he is also cold and often feels blue. Gary, who is nice and kind, can also be thought of as cold and rough. Harry always goes out of his way to show that he is kind to people. A cold, rough person is also round. A big person who also feels blue and a bit green are usually wearing red. Nice and blue people have to be big as well. If a big person is cold and nice, then they are green. A big and rough person who is blue is also considered to be green.
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Harry is not kind.
False
1
inv-proof
[(triple10)]
("Harry" "is" "kind" "-")
triple10
Gary is round.
True
3
proof
[(((triple6 triple9) -> rule1))]
("Gary" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple6 triple9) -> rule1))]
("Gary" "is" "round" "-")
((triple6 triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Eric is green.
True
6
proof
[(((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4))]
("Eric" "is" "green" "+")
((triple4 ((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4))]
("Eric" "is" "green" "-")
((triple4 ((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
11
proof
[(((((triple3 triple5) -> rule3) triple5 ((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4)) -> rule2))]
("Eric" "is" "red" "+")
((((triple3 triple5) -> (rule3 % int3)) triple5 ((triple4 ((triple3 triple5) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
11
inv-proof
[(((((triple3 triple5) -> rule3) triple5 ((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4)) -> rule2))]
("Eric" "is" "red" "-")
((((triple3 triple5) -> (rule3 % int3)) triple5 ((triple4 ((triple3 triple5) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Dave is nice.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple5)] Eric is cold.[(triple4)] Eric is nice.[(triple3)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] Harry is kind.[(triple10)] @1: Eric is big.[(((triple3 triple5) -> rule3))] Gary is round.[(((triple6 triple9) -> rule1))] @2: Eric is green.[(((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4))] @3: Eric is red.[(((((triple3 triple5) -> rule3) triple5 ((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4)) -> rule2))]
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Eric is big.
("Eric" "is" "big" "+")
((triple3 triple5) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple4 ((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple3 triple5) -> (rule3 % int3)) triple5 ((triple4 ((triple3 triple5) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Dave, like all young people, is nice.
As much as Eric is nice, he is also cold and often feels blue.
Gary, who is nice and kind, can also be thought of as cold and rough.
Harry always goes out of his way to show that he is kind to people.
A cold, rough person is also round.
A big person who also feels blue and a bit green are usually wearing red.
Nice and blue people have to be big as well.
If a big person is cold and nice, then they are green.
A big and rough person who is blue is also considered to be green.