Alan ate some rotten meat and now feels green. Dave is young, rough and green, but he turns blue when he is cold like anyone else. Fred wears all blue. That rough but kind guy is Harry, the green one. A green person who is cold and round is also big. A big person who is kind but blue is cold. As far as anyone can tell, whoever is kind, rough, and big is a round person. Cold, green people have a habit of eating alot and looking quite round. I bet you didn't know that nice, kind, cold people happen to be red. A big person that is tattooed blue will be very nice. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Alan is green.
("Alan" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Dave is green.
True
1
proof
[(triple4)]
("Dave" "is" "green" "+")
triple4
Dave is not green.
False
1
inv-proof
[(triple4)]
("Dave" "is" "green" "-")
triple4
Dave is round.
True
3
proof
[(((triple5 triple4) -> rule4))]
("Dave" "is" "round" "+")
((triple5 triple4) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule4))]
("Dave" "is" "round" "-")
((triple5 triple4) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
True
6
proof
[(((triple5 ((triple5 triple4) -> rule4) triple4) -> rule1))]
("Dave" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not big.
False
6
inv-proof
[(((triple5 ((triple5 triple4) -> rule4) triple4) -> rule1))]
("Dave" "is" "big" "-")
((triple5 ((triple5 triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
True
8
proof
[(((((triple5 ((triple5 triple4) -> rule4) triple4) -> rule1) triple6) -> rule6))]
("Dave" "is" "nice" "+")
((((triple5 ((triple5 triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not nice.
False
8
inv-proof
[(((((triple5 ((triple5 triple4) -> rule4) triple4) -> rule1) triple6) -> rule6))]
("Dave" "is" "nice" "-")
((((triple5 ((triple5 triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "green" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "cold" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is green.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Dave is green.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Fred is blue.[(triple7)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is rough.[(triple8)] @1: Dave is round.[(((triple5 triple4) -> rule4))] @2: Dave is big.[(((triple5 ((triple5 triple4) -> rule4) triple4) -> rule1))] @3: Dave is nice.[(((((triple5 ((triple5 triple4) -> rule4) triple4) -> rule1) triple6) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple4) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5 ((triple5 triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Alan ate some rotten meat and now feels green.
Dave is young, rough and green, but he turns blue when he is cold like anyone else.
Fred wears all blue.
That rough but kind guy is Harry, the green one.
A green person who is cold and round is also big.
A big person who is kind but blue is cold.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
Cold, green people have a habit of eating alot and looking quite round.
I bet you didn't know that nice, kind, cold people happen to be red.
A big person that is tattooed blue will be very nice.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.