The cow eats the squirrel. The squirrel does not eat the cow. If the squirrel eats the cow then the cow sees the squirrel. If someone sees the cow and they do not eat the cow then the cow does not see the squirrel. If someone eats the cow then the cow is cold. If someone eats the cow and they visit the squirrel then they are rough. If the cow sees the squirrel and the squirrel is cold then the cow visits the squirrel. If someone eats the squirrel and they eat the cow then they do not visit the squirrel.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
If the squirrel eats the cow then the cow sees the squirrel.
((("squirrel" "eats" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If someone sees the cow and they do not eat the cow then the cow does not see the squirrel.
((("someone" "sees" "cow" "+") ("someone" "eats" "cow" "~")) -> ("cow" "sees" "squirrel" "-"))
If someone eats the cow then the cow is cold.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "cold" "+"))
If someone eats the cow and they visit the squirrel then they are rough.
((("someone" "eats" "cow" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If the cow sees the squirrel and the squirrel is cold then the cow visits the squirrel.
((("cow" "sees" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("cow" "visits" "squirrel" "+"))
If someone eats the squirrel and they eat the cow then they do not visit the squirrel.
((("someone" "eats" "squirrel" "+") ("someone" "eats" "cow" "+")) -> ("someone" "visits" "squirrel" "-"))
The cow eats the squirrel.
True
1
proof
[(triple1)]
("cow" "eats" "squirrel" "+")
triple1
The cow does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "eats" "squirrel" "-")
triple1
The cow does not visit the squirrel.
Unknown
inv-rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "visits" "squirrel" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cow eats the squirrel.[(triple1)] The squirrel does not eat the cow.[(triple2)]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
triple2