The cow is nice. The squirrel sees the cow. If someone likes the cow then they need the squirrel. If someone is cold and they like the squirrel then they like the cow.
The cow is nice.
("cow" "is" "nice" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone likes the cow then they need the squirrel.
((("someone" "likes" "cow" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is cold and they like the squirrel then they like the cow.
((("someone" "is" "cold" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "cow" "+"))
The squirrel sees the cow.
True
1
proof
[(triple2)]
("squirrel" "sees" "cow" "+")
triple2
The squirrel does not see the cow.
False
1
inv-proof
[(triple2)]
("squirrel" "sees" "cow" "-")
triple2
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "cow" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cow is nice.[(triple1)] The squirrel sees the cow.[(triple2)]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple2