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.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
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.