The cow sees the squirrel. The squirrel sees the cow. All big people are round. If someone eats the squirrel then the squirrel is cold.
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone eats the squirrel then the squirrel is cold.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
The squirrel sees the cow.
True
1
proof
[(triple2)]
("squirrel" "sees" "cow" "+")
triple2
The cow does not see the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "sees" "squirrel" "-")
triple1
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "round" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow sees the squirrel.[(triple1)] The squirrel sees the cow.[(triple2)]
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple2