The bear is round. The cat eats the bear. The cat is blue. The cat is red. The cat is round. The cat likes the bear. The cat visits the bear. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the cat. The squirrel visits the cat. If someone eats the cat then the cat likes the squirrel. If someone is round then they eat the squirrel. All green people are rough. If someone likes the bear and the bear likes the cat then the bear visits the cat. If someone visits the cat then the cat likes the squirrel. If the bear is green and the bear is red then the bear eats the cat.
The bear is round.
("bear" "is" "round" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone eats the cat then the cat likes the squirrel.
((("someone" "eats" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If someone is round then they eat the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the bear and the bear likes the cat then the bear visits the cat.
((("someone" "likes" "bear" "+") ("bear" "likes" "cat" "+")) -> ("bear" "visits" "cat" "+"))
If someone visits the cat then the cat likes the squirrel.
((("someone" "visits" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If the bear is green and the bear is red then the bear eats the cat.
((("bear" "is" "green" "+") ("bear" "is" "red" "+")) -> ("bear" "eats" "cat" "+"))
The cat likes the bear.
True
1
proof
[(triple6)]
("cat" "likes" "bear" "+")
triple6
The cat does not visit the bear.
False
1
inv-proof
[(triple7)]
("cat" "visits" "bear" "-")
triple7
The bear does not eat the cat.
Unknown
inv-rconc
[@1: The bear eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "cat" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bear is round.[(triple1)] The cat eats the bear.[(triple2)] The cat is blue.[(triple3)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat likes the bear.[(triple6)] The cat visits the bear.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The bear eats the squirrel.[(((triple1) -> rule2))] The cat eats the squirrel.[(((triple5) -> rule2))] The cat likes the squirrel.[(((triple12) -> rule5))] The squirrel eats the squirrel.[(((triple10) -> rule2))]
The bear is round.
("bear" "is" "round" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((triple5) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple12) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple10) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1