The cow likes the squirrel. The squirrel eats the cow. If someone is rough and not young then they need the cow. If someone likes the cow and the cow is not round then the cow eats the squirrel.
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
If someone is rough and not young then they need the cow.
((("someone" "is" "rough" "+") ("someone" "is" "young" "~")) -> ("someone" "needs" "cow" "+"))
If someone likes the cow and the cow is not round then the cow eats the squirrel.
((("someone" "likes" "cow" "+") ("cow" "is" "round" "~")) -> ("cow" "eats" "squirrel" "+"))
The cow likes the squirrel.
True
1
proof
[(triple1)]
("cow" "likes" "squirrel" "+")
triple1
The squirrel does not eat the cow.
False
1
inv-proof
[(triple2)]
("squirrel" "eats" "cow" "-")
triple2
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "cow" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cow likes the squirrel.[(triple1)] The squirrel eats the cow.[(triple2)]
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple2