Upon meeting Dave, you'll notice he's green and kind. That Eric is a round, rough fellow, and he's nice, as well as big. Gary is so young and darling he is kind to all the old people on the block. That man standing next to you with a big round body goes by the name of Harry. If people are nice and round, they look red. Green people with red round cheeks are young. Like a blueberry, a big blue person is round as anything. A young, nice person will turn out to be a green person also. All men who happen to be red and big, will also be blue. A big and round shaped, blue person will be cold for sure. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Dave is kind.
True
1
proof
[(triple1)]
("Dave" "is" "kind" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Eric is red.
True
3
proof
[(((triple5 triple3) -> rule1))]
("Eric" "is" "red" "+")
((triple5 triple3) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("Eric" "is" "red" "-")
((triple5 triple3) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
True
5
proof
[(((((triple5 triple3) -> rule1) triple6) -> rule5))]
("Eric" "is" "blue" "+")
((((triple5 triple3) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((((triple5 triple3) -> rule1) triple6) -> rule5))]
("Eric" "is" "blue" "-")
((((triple5 triple3) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
True
8
proof
[(((triple3 ((((triple5 triple3) -> rule1) triple6) -> rule5) triple6) -> rule6))]
("Eric" "is" "cold" "+")
((triple3 ((((triple5 triple3) -> (rule1 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not cold.
False
8
inv-proof
[(((triple3 ((((triple5 triple3) -> rule1) triple6) -> rule5) triple6) -> rule6))]
("Eric" "is" "cold" "-")
((triple3 ((((triple5 triple3) -> (rule1 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "red" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Dave is green.[(triple2)] Dave is kind.[(triple1)] Eric is big.[(triple6)] Eric is nice.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Gary is kind.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple10)] Harry is round.[(triple9)] @1: Eric is red.[(((triple5 triple3) -> rule1))] @2: Eric is blue.[(((((triple5 triple3) -> rule1) triple6) -> rule5))] @3: Eric is cold.[(((triple3 ((((triple5 triple3) -> rule1) triple6) -> rule5) triple6) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
((triple5 triple3) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple5 triple3) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple3 ((((triple5 triple3) -> (rule1 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Upon meeting Dave, you'll notice he's green and kind.
That Eric is a round, rough fellow, and he's nice, as well as big.
Gary is so young and darling he is kind to all the old people on the block.
That man standing next to you with a big round body goes by the name of Harry.
If people are nice and round, they look red.
Green people with red round cheeks are young.
Like a blueberry, a big blue person is round as anything.
A young, nice person will turn out to be a green person also.
All men who happen to be red and big, will also be blue.
A big and round shaped, blue person will be cold for sure.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.