The bear is big. The cat does not chase the squirrel. The cat sees the bear. The cat sees the tiger. The cat does not visit the squirrel. The squirrel chases the bear. The tiger visits the squirrel. If someone is red and they see the bear then the bear chases the tiger.
The bear is big.
("bear" "is" "big" "+")
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone is red and they see the bear then the bear chases the tiger.
((("someone" "is" "red" "+") ("someone" "sees" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
The cat does not chase the squirrel.
True
1
proof
[(triple2)]
("cat" "chases" "squirrel" "-")
triple2
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear does not chase the tiger.
Unknown
inv-rconc
[@1: The bear chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "tiger" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The bear is big.[(triple1)] The cat does not chase the squirrel.[(triple2)] The cat does not visit the squirrel.[(triple5)] The cat sees the bear.[(triple3)] The cat sees the tiger.[(triple4)] The squirrel chases the bear.[(triple6)] The tiger visits the squirrel.[(triple7)]
The bear is big.
("bear" "is" "big" "+")
triple1
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple2
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
triple5
The cat sees the bear.
("cat" "sees" "bear" "+")
triple3
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7