The bear eats the squirrel. The bear is blue. The bear is kind. The bear is red. The bear is rough. The bear needs the squirrel. The bear visits the squirrel. The squirrel is big. The squirrel is rough. The squirrel needs the bear. If something eats the squirrel and it is big then the squirrel eats the bear. If the bear visits the squirrel then the squirrel needs the bear. If something visits the squirrel and the squirrel visits the bear then it eats the squirrel. If something visits the squirrel and it eats the squirrel then the squirrel eats the bear. If something eats the bear then it is kind. If the bear eats the squirrel then the squirrel visits the bear. If something eats the squirrel and the squirrel is rough then the squirrel is blue. If something eats the bear then the bear is kind.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something eats the squirrel and it is big then the squirrel eats the bear.
((("something" "eats" "squirrel" "+") ("something" "is" "big" "+")) -> ("squirrel" "eats" "bear" "+"))
If the bear visits the squirrel then the squirrel needs the bear.
((("bear" "visits" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If something visits the squirrel and the squirrel visits the bear then it eats the squirrel.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("something" "eats" "squirrel" "+"))
If something visits the squirrel and it eats the squirrel then the squirrel eats the bear.
((("something" "visits" "squirrel" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If something eats the bear then it is kind.
((("something" "eats" "bear" "+")) -> ("something" "is" "kind" "+"))
If the bear eats the squirrel then the squirrel visits the bear.
((("bear" "eats" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If something eats the squirrel and the squirrel is rough then the squirrel is blue.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "blue" "+"))
If something eats the bear then the bear is kind.
((("something" "eats" "bear" "+")) -> ("bear" "is" "kind" "+"))
The bear is red.
True
1
proof
[(triple4)]
("bear" "is" "red" "+")
triple4
The bear is not rough.
False
1
inv-proof
[(triple5)]
("bear" "is" "rough" "-")
triple5
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3 OR ((((triple7 triple1) -> rule4)) -> rule8))] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear needs the squirrel.[(triple6)] The bear visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the bear.[(triple10 OR ((triple7) -> rule2))] @1: The squirrel eats the bear.[(((triple7 triple1) -> rule4))] The squirrel is blue.[(((triple1 triple9) -> rule7))] The squirrel visits the bear.[(((triple1) -> rule6))] @2: The squirrel is kind.[(((((triple7 triple1) -> rule4)) -> rule5))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
((((triple7 triple1) -> (rule4 % int2))) -> (rule8 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
((triple7) -> (rule2 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple7 triple1) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1 triple9) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((triple1) -> (rule6 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple7 triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2