The cow needs the rabbit. The rabbit does not chase the squirrel. The squirrel is green. If someone is young then they do not chase the rabbit.
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is young then they do not chase the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "chases" "rabbit" "-"))
The rabbit does not chase the squirrel.
True
1
proof
[(triple2)]
("rabbit" "chases" "squirrel" "-")
triple2
The rabbit chases the squirrel.
False
1
inv-proof
[(triple2)]
("rabbit" "chases" "squirrel" "+")
triple2
The rabbit does not visit the squirrel.
Unknown
inv-random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "-")
The cow chases the rabbit.
Unknown
random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "+")
@0: The cow needs the rabbit.[(triple1)] The rabbit does not chase the squirrel.[(triple2)] The squirrel is green.[(triple3)]
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple1
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3