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