The mouse eats the rabbit. The mouse is green. The mouse is red. The mouse likes the rabbit. The mouse does not need the rabbit. The rabbit does not eat the mouse. The rabbit is big. The rabbit is blue. The rabbit is not green. The rabbit is not red. The rabbit likes the mouse. The rabbit needs the mouse. If the rabbit does not like the mouse and the mouse is not big then the mouse eats the rabbit.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse does not need the rabbit.
("mouse" "needs" "rabbit" "-")
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If the rabbit does not like the mouse and the mouse is not big then the mouse eats the rabbit.
((("rabbit" "likes" "mouse" "~") ("mouse" "is" "big" "~")) -> ("mouse" "eats" "rabbit" "+"))
The mouse does not need the rabbit.
True
1
proof
[(triple5)]
("mouse" "needs" "rabbit" "-")
triple5
The mouse needs the rabbit.
False
1
inv-proof
[(triple5)]
("mouse" "needs" "rabbit" "+")
triple5
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse does not need the rabbit.[(triple5)] The mouse eats the rabbit.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit does not eat the mouse.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is not green.[(triple9)] The rabbit is not red.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit needs the mouse.[(triple12)]
The mouse does not need the rabbit.
("mouse" "needs" "rabbit" "-")
triple5
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple4
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is not green.
("rabbit" "is" "green" "-")
triple9
The rabbit is not red.
("rabbit" "is" "red" "-")
triple10
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple11
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12