Red Dave is what folks call him, because he is quite red. To the touch Eric has rough, cold skin. Gary is a young, round fellow who is red and green in color. He is also cold. When you meet someone round, blue and nice they are as a rule rough. Nice people who have red cold skin are round. If a kind person is also young and round shaped, they will be colored blue. A green colored, nice and young person will be big shaped. You make someone round and green, and they'll turn out nice. A nice person who is downhearted, blue, and green with envy is rough. Young people that are nice and green tend to be blue.
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Gary is round.
True
1
proof
[(triple5)]
("Gary" "is" "round" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple1)]
("Dave" "is" "red" "-")
triple1
Gary is nice.
True
3
proof
[(((triple5 triple7) -> rule5))]
("Gary" "is" "nice" "+")
((triple5 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple5 triple7) -> rule5))]
("Gary" "is" "nice" "-")
((triple5 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
True
6
proof
[(((triple4 triple7 ((triple5 triple7) -> rule5)) -> rule4))]
("Gary" "is" "big" "+")
((triple4 triple7 ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not blue.
False
6
inv-proof
[(((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7))]
("Gary" "is" "blue" "-")
((triple4 ((triple5 triple7) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
True
11
proof
[(((((triple5 triple7) -> rule5) ((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7) triple7) -> rule6) OR ((((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7) ((triple5 triple7) -> rule5) triple5) -> rule1))]
("Gary" "is" "rough" "+")
((((triple5 triple7) -> (rule5 % int3)) ((triple4 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple4 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule7 % int2)) ((triple5 triple7) -> (rule5 % int3)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not rough.
False
11
inv-proof
[(((((triple5 triple7) -> rule5) ((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7) triple7) -> rule6) OR ((((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7) ((triple5 triple7) -> rule5) triple5) -> rule1))]
("Gary" "is" "rough" "-")
((((triple5 triple7) -> (rule5 % int3)) ((triple4 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple4 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule7 % int2)) ((triple5 triple7) -> (rule5 % int3)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is red.[(triple1)] Eric is cold.[(triple3)] Eric is rough.[(triple2)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is red.[(triple6)] Gary is round.[(triple5)] Gary is young.[(triple4)] @1: Gary is nice.[(((triple5 triple7) -> rule5))] @2: Gary is big.[(((triple4 triple7 ((triple5 triple7) -> rule5)) -> rule4))] Gary is blue.[(((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7))] @3: Gary is rough.[(((((triple5 triple7) -> rule5) ((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7) triple7) -> rule6) OR ((((triple4 ((triple5 triple7) -> rule5) triple7) -> rule7) ((triple5 triple7) -> rule5) triple5) -> rule1))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple4 triple7 ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple4 ((triple5 triple7) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple5 triple7) -> (rule5 % int3)) ((triple4 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple4 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule7 % int2)) ((triple5 triple7) -> (rule5 % int3)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Red Dave is what folks call him, because he is quite red.
To the touch Eric has rough, cold skin.
Gary is a young, round fellow who is red and green in color; He is also cold.
When you meet someone round, blue and nice they are as a rule rough.
Nice people who have red cold skin are round.
If a kind person is also young and round shaped, they will be colored blue.
A green colored, nice and young person will be big shaped.
You make someone round and green, and they'll turn out nice.
A nice person who is downhearted, blue, and green with envy is rough.
Young people that are nice and green tend to be blue.