The rabbit does not eat the squirrel. The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel is blue. The squirrel is green. The squirrel is rough. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone is green then they like the rabbit. If someone eats the squirrel then the squirrel is green. If someone likes the rabbit then they need the squirrel.
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone is green then they like the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone eats the squirrel then the squirrel is green.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone likes the rabbit then they need the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("someone" "needs" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple9)]
("squirrel" "is" "green" "+")
triple9
The rabbit eats the squirrel.
False
1
inv-proof
[(triple1)]
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit likes the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "likes" "rabbit" "+")
((triple3) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple11) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]
("squirrel" "needs" "squirrel" "-")
((triple11) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The rabbit does not eat the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit needs the squirrel.[(triple7 OR ((((triple3) -> rule1)) -> rule3))] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the rabbit.[(triple11 OR ((triple9) -> rule1))] The squirrel needs the rabbit.[(triple12)] @1: The rabbit likes the rabbit.[(((triple3) -> rule1))] The squirrel needs the squirrel.[(((triple11) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple7
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
((triple9) -> (rule1 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple12
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple3) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple11) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2