The cat is round. The cow is big. The squirrel likes the cat. If someone sees the cow and the cow is big then the cow chases the cat. If someone chases the cat then they see the squirrel.
The cat is round.
("cat" "is" "round" "+")
The cow is big.
("cow" "is" "big" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone sees the cow and the cow is big then the cow chases the cat.
((("someone" "sees" "cow" "+") ("cow" "is" "big" "+")) -> ("cow" "chases" "cat" "+"))
If someone chases the cat then they see the squirrel.
((("someone" "chases" "cat" "+")) -> ("someone" "sees" "squirrel" "+"))
The cat is round.
True
1
proof
[(triple1)]
("cat" "is" "round" "+")
triple1
The cat is not round.
False
1
inv-proof
[(triple1)]
("cat" "is" "round" "-")
triple1
The cow does not see the squirrel.
Unknown
inv-rconc
[@2: The cow sees the squirrel.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cat is round.[(triple1)] The cow is big.[(triple2)] The squirrel likes the cat.[(triple3)]
The cat is round.
("cat" "is" "round" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple3