The cow is young. The squirrel chases the cow. If the cow is nice and the cow chases the squirrel then the cow eats the squirrel. If the squirrel eats the cow and the squirrel chases the cow then the squirrel needs the cow. If someone needs the cow and they eat the cow then the cow chases the squirrel.
The cow is young.
("cow" "is" "young" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If the cow is nice and the cow chases the squirrel then the cow eats the squirrel.
((("cow" "is" "nice" "+") ("cow" "chases" "squirrel" "+")) -> ("cow" "eats" "squirrel" "+"))
If the squirrel eats the cow and the squirrel chases the cow then the squirrel needs the cow.
((("squirrel" "eats" "cow" "+") ("squirrel" "chases" "cow" "+")) -> ("squirrel" "needs" "cow" "+"))
If someone needs the cow and they eat the cow then the cow chases the squirrel.
((("someone" "needs" "cow" "+") ("someone" "eats" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
The squirrel chases the cow.
True
1
proof
[(triple2)]
("squirrel" "chases" "cow" "+")
triple2
The cow is not young.
False
1
inv-proof
[(triple1)]
("cow" "is" "young" "-")
triple1
The cow does not eat the squirrel.
Unknown
inv-rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "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 cow is young.[(triple1)] The squirrel chases the cow.[(triple2)]
The cow is young.
("cow" "is" "young" "+")
triple1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple2