Dave happens to be a big man who is very nice and kind. he has one green eye and the other one is blue. They always call him rough Eric. Gary is a rather round fellow, but kind and nice to people. He often looks green and blue. A big, blue person who is kind is also round. Most green and round people,though big are quite young. A person who is round shaped while also being quite cold tends to be nice. A person who is very round is nice but also quite rough. Blue people round with fat are red from too much time in the sun. A big, green person who is cold is assumed to be red also. When someone is big, young and rough, they can be cold.
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
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 rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Gary is not kind.
False
1
inv-proof
[(triple9)]
("Gary" "is" "kind" "-")
triple9
Gary is rough.
True
3
proof
[(((triple7 triple8) -> rule4))]
("Gary" "is" "rough" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule4))]
("Gary" "is" "rough" "-")
((triple7 triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Dave is red.
True
6
proof
[(((triple4 ((triple4 triple2 triple5) -> rule1)) -> rule5) OR ((triple3 triple5 ((((((triple4 triple2 triple5) -> rule1) triple1) -> rule4) ((triple3 ((triple4 triple2 triple5) -> rule1) triple5) -> rule2) triple5) -> rule7)) -> rule6))]
("Dave" "is" "red" "+")
((triple4 ((triple4 triple2 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple3 triple5 ((((((triple4 triple2 triple5) -> (rule1 % int5)) triple1) -> (rule4 % int4)) ((triple3 ((triple4 triple2 triple5) -> (rule1 % int5)) triple5) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is not rough.
False
6
inv-proof
[(((((triple4 triple2 triple5) -> rule1) triple1) -> rule4))]
("Dave" "is" "rough" "-")
((((triple4 triple2 triple5) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
True
15
proof
[(((((((triple4 triple2 triple5) -> rule1) triple1) -> rule4) ((triple3 ((triple4 triple2 triple5) -> rule1) triple5) -> rule2) triple5) -> rule7))]
("Dave" "is" "cold" "+")
((((((triple4 triple2 triple5) -> (rule1 % int4)) triple1) -> (rule4 % int3)) ((triple3 ((triple4 triple2 triple5) -> (rule1 % int4)) triple5) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not cold.
False
15
inv-proof
[(((((((triple4 triple2 triple5) -> rule1) triple1) -> rule4) ((triple3 ((triple4 triple2 triple5) -> rule1) triple5) -> rule2) triple5) -> rule7))]
("Dave" "is" "cold" "-")
((((((triple4 triple2 triple5) -> (rule1 % int4)) triple1) -> (rule4 % int3)) ((triple3 ((triple4 triple2 triple5) -> (rule1 % int4)) triple5) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is rough.
Unknown
rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is nice.[(triple1)] Eric is rough.[(triple6)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] @1: Dave is round.[(((triple4 triple2 triple5) -> rule1))] Gary is red.[(((triple11 triple7) -> rule5))] Gary is rough.[(((triple7 triple8) -> rule4))] @2: Dave is red.[(((triple4 ((triple4 triple2 triple5) -> rule1)) -> rule5) OR ((triple3 triple5 ((((((triple4 triple2 triple5) -> rule1) triple1) -> rule4) ((triple3 ((triple4 triple2 triple5) -> rule1) triple5) -> rule2) triple5) -> rule7)) -> rule6))] Dave is rough.[(((((triple4 triple2 triple5) -> rule1) triple1) -> rule4))] Dave is young.[(((triple3 ((triple4 triple2 triple5) -> rule1) triple5) -> rule2))] @3: Dave is cold.[(((((((triple4 triple2 triple5) -> rule1) triple1) -> rule4) ((triple3 ((triple4 triple2 triple5) -> rule1) triple5) -> rule2) triple5) -> rule7))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
((triple4 triple2 triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple7) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple4 ((triple4 triple2 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple3 triple5 ((((((triple4 triple2 triple5) -> (rule1 % int5)) triple1) -> (rule4 % int4)) ((triple3 ((triple4 triple2 triple5) -> (rule1 % int5)) triple5) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
((((triple4 triple2 triple5) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple3 ((triple4 triple2 triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple4 triple2 triple5) -> (rule1 % int4)) triple1) -> (rule4 % int3)) ((triple3 ((triple4 triple2 triple5) -> (rule1 % int4)) triple5) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave happens to be a big man who is very nice and kind; he has one green eye and the other one is blue.
They always call him rough Eric.
Gary is a rather round fellow, but kind and nice to people; He often looks green and blue.
A big, blue person who is kind is also round.
Most green and round people,though big are quite young.
A person who is round shaped while also being quite cold tends to be nice.
A person who is very round is nice but also quite rough.
Blue people round with fat are red from too much time in the sun.
A big, green person who is cold is assumed to be red also.
When someone is big, young and rough, they can be cold.