The bear is blue. The bear needs the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is rough. The squirrel likes the bear. The squirrel needs the bear. If something needs the bear and the bear is blue then it eats the bear. If the bear eats the squirrel and the squirrel needs the bear then the bear is round. If something is blue then it needs the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something needs the bear and the bear is blue then it eats the bear.
((("something" "needs" "bear" "+") ("bear" "is" "blue" "+")) -> ("something" "eats" "bear" "+"))
If the bear eats the squirrel and the squirrel needs the bear then the bear is round.
((("bear" "eats" "squirrel" "+") ("squirrel" "needs" "bear" "+")) -> ("bear" "is" "round" "+"))
If something is blue then it needs the bear.
((("something" "is" "blue" "+")) -> ("something" "needs" "bear" "+"))
The squirrel is big.
True
1
proof
[(triple4)]
("squirrel" "is" "big" "+")
triple4
The squirrel does not like the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "bear" "-")
triple6
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "round" "-")
The bear likes the squirrel.
Unknown
random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "+")
@0: The bear is blue.[(triple1)] The bear needs the squirrel.[(triple2)] The squirrel eats the bear.[(triple3 OR ((triple7 triple1) -> rule1))] The squirrel is big.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The bear needs the bear.[(((triple1) -> rule3))] @2: The bear eats the bear.[(((((triple1) -> rule3) triple1) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple3
((triple7 triple1) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple6
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple7
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple1) -> (rule3 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2