The rabbit eats the squirrel. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel needs the rabbit. The squirrel visits the rabbit. If the squirrel visits the rabbit then the rabbit needs the squirrel. If someone visits the rabbit then they eat the squirrel.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats 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 kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the squirrel visits the rabbit then the rabbit needs the squirrel.
((("squirrel" "visits" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If someone visits the rabbit then they eat the squirrel.
((("someone" "visits" "rabbit" "+")) -> ("someone" "eats" "squirrel" "+"))
The squirrel visits the rabbit.
True
1
proof
[(triple16)]
("squirrel" "visits" "rabbit" "+")
triple16
The rabbit is not kind.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "kind" "-")
triple5
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is nice.[(triple6)] The rabbit needs the squirrel.[(triple7 OR ((triple16) -> rule1))] The rabbit visits the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel eats the squirrel.[(((triple16) -> rule2))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple7
((triple16) -> (rule1 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel eats 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 kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple16) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1