The rabbit does not eat the squirrel. The rabbit is not big. The rabbit is cold. The rabbit is not green. The rabbit is red. The rabbit is young. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel does not eat the rabbit. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is not red. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If someone eats the squirrel then the squirrel eats the rabbit. If someone eats the squirrel and the squirrel sees the rabbit then they do not eat the rabbit. If someone is cold and red then they eat the rabbit.
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone eats the squirrel then the squirrel eats the rabbit.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If someone eats the squirrel and the squirrel sees the rabbit then they do not eat the rabbit.
((("someone" "eats" "squirrel" "+") ("squirrel" "sees" "rabbit" "+")) -> ("someone" "eats" "rabbit" "-"))
If someone is cold and red then they eat the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "rabbit" "+"))
The squirrel is young.
True
1
proof
[(triple14)]
("squirrel" "is" "young" "+")
triple14
The rabbit is not red.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "red" "-")
triple5
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The rabbit does not eat the squirrel.[(triple1)] The rabbit is cold.[(triple3)] The rabbit is not big.[(triple2)] The rabbit is not green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is young.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel does not eat the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is not red.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple3 triple5) -> rule3))]
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is not big.
("rabbit" "is" "big" "-")
triple2
The rabbit is not green.
("rabbit" "is" "green" "-")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple7
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is not red.
("squirrel" "is" "red" "-")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple15
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple16
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple3 triple5) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1