The cow does not eat the squirrel. The cow is nice. The cow sees the mouse. The cow sees the squirrel. The mouse eats the rabbit. The mouse is cold. The mouse likes the squirrel. The rabbit eats the mouse. The rabbit is kind. The rabbit likes the cow. The rabbit sees the squirrel. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel likes the cow. The squirrel does not like the rabbit. If the rabbit is cold and the rabbit eats the cow then the rabbit does not eat the squirrel.
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
If the rabbit is cold and the rabbit eats the cow then the rabbit does not eat the squirrel.
((("rabbit" "is" "cold" "+") ("rabbit" "eats" "cow" "+")) -> ("rabbit" "eats" "squirrel" "-"))
The rabbit sees the squirrel.
True
1
proof
[(triple11)]
("rabbit" "sees" "squirrel" "+")
triple11
The mouse does not eat the rabbit.
False
1
inv-proof
[(triple5)]
("mouse" "eats" "rabbit" "-")
triple5
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
@0: The cow does not eat the squirrel.[(triple1)] The cow is nice.[(triple2)] The cow sees the mouse.[(triple3)] The cow sees the squirrel.[(triple4)] The mouse eats the rabbit.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the squirrel.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is kind.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit sees the squirrel.[(triple11)] The squirrel does not like the rabbit.[(triple15)] The squirrel eats the mouse.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel likes the cow.[(triple14)]
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple11
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple15
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple12
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14