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.
Dave is red.
("Dave" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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.