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