The bear chases the cat. The cat visits the squirrel. The rabbit eats the bear. The squirrel is rough. If something visits the cat and it chases the squirrel then the cat is big. If the squirrel eats the rabbit and the squirrel chases the bear then the squirrel is rough.
The bear chases the cat.
("bear" "chases" "cat" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something visits the cat and it chases the squirrel then the cat is big.
((("something" "visits" "cat" "+") ("something" "chases" "squirrel" "+")) -> ("cat" "is" "big" "+"))
If the squirrel eats the rabbit and the squirrel chases the bear then the squirrel is rough.
((("squirrel" "eats" "rabbit" "+") ("squirrel" "chases" "bear" "+")) -> ("squirrel" "is" "rough" "+"))
The bear chases the cat.
True
1
proof
[(triple1)]
("bear" "chases" "cat" "+")
triple1
The squirrel is not rough.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "rough" "-")
triple4
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "big" "-")
The cat chases the rabbit.
Unknown
random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "+")
@0: The bear chases the cat.[(triple1)] The cat visits the squirrel.[(triple2)] The rabbit eats the bear.[(triple3)] The squirrel is rough.[(triple4)]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4