The bear eats the squirrel. The bear does not eat the tiger. The bear is green. The bear needs the squirrel. The bear does not visit the squirrel. The cat is rough. The squirrel eats the tiger. The squirrel is big. The squirrel is kind. The squirrel visits the cat. The squirrel visits the tiger. The tiger eats the cat. The tiger is big. The tiger is nice. The tiger visits the cat. The tiger does not visit the squirrel. If someone needs the cat and they do not visit the bear then they do not visit the tiger. If the cat eats the bear then the bear eats the cat. If someone eats the bear then the bear is not green. If someone eats the cat then they are big. If someone eats the cat and they need the squirrel then the cat visits the tiger. If someone visits the bear then the bear eats the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear is green.
("bear" "is" "green" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The cat is rough.
("cat" "is" "rough" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If someone needs the cat and they do not visit the bear then they do not visit the tiger.
((("someone" "needs" "cat" "+") ("someone" "visits" "bear" "~")) -> ("someone" "visits" "tiger" "-"))
If the cat eats the bear then the bear eats the cat.
((("cat" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If someone eats the bear then the bear is not green.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "green" "-"))
If someone eats the cat then they are big.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "big" "+"))
If someone eats the cat and they need the squirrel then the cat visits the tiger.
((("someone" "eats" "cat" "+") ("someone" "needs" "squirrel" "+")) -> ("cat" "visits" "tiger" "+"))
If someone visits the bear then the bear eats the squirrel.
((("someone" "visits" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
The tiger eats the cat.
True
1
proof
[(triple12)]
("tiger" "eats" "cat" "+")
triple12
The bear does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "eats" "squirrel" "-")
triple1
The bear is not big.
Unknown
inv-rconc
[@2: The bear is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("bear" "is" "big" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bear does not eat the tiger.[(triple2)] The bear does not visit the squirrel.[(triple5)] The bear eats the squirrel.[(triple1)] The bear is green.[(triple3)] The bear needs the squirrel.[(triple4)] The cat is rough.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is kind.[(triple9)] The squirrel visits the cat.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger does not visit the squirrel.[(triple16)] The tiger eats the cat.[(triple12)] The tiger is big.[(triple13 OR ((triple12) -> rule4))] The tiger is nice.[(triple14)] The tiger visits the cat.[(triple15)]
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple2
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple5
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple11
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple16
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
((triple12) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15