The bear eats the squirrel. The lion eats the bear. The lion eats the squirrel. The lion is big. The lion is blue. The lion is kind. The lion is red. The lion is rough. The lion likes the bear. The lion likes the squirrel. The lion visits the bear. The lion visits the squirrel. The squirrel eats the bear. The squirrel is kind. The squirrel is rough. The squirrel visits the lion. If something likes the bear and it visits the bear then it likes the squirrel. If something eats the bear then the bear is big. If something eats the lion then it eats the squirrel. If something is kind and it likes the bear then the bear visits the squirrel. Big things are red. If the squirrel visits the bear then the squirrel is rough. If the bear likes the squirrel and the bear eats the squirrel then the squirrel visits the lion. If the squirrel visits the lion then the squirrel eats the bear.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something likes the bear and it visits the bear then it likes the squirrel.
((("something" "likes" "bear" "+") ("something" "visits" "bear" "+")) -> ("something" "likes" "squirrel" "+"))
If something eats the bear then the bear is big.
((("something" "eats" "bear" "+")) -> ("bear" "is" "big" "+"))
If something eats the lion then it eats the squirrel.
((("something" "eats" "lion" "+")) -> ("something" "eats" "squirrel" "+"))
If something is kind and it likes the bear then the bear visits the squirrel.
((("something" "is" "kind" "+") ("something" "likes" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If the squirrel visits the bear then the squirrel is rough.
((("squirrel" "visits" "bear" "+")) -> ("squirrel" "is" "rough" "+"))
If the bear likes the squirrel and the bear eats the squirrel then the squirrel visits the lion.
((("bear" "likes" "squirrel" "+") ("bear" "eats" "squirrel" "+")) -> ("squirrel" "visits" "lion" "+"))
If the squirrel visits the lion then the squirrel eats the bear.
((("squirrel" "visits" "lion" "+")) -> ("squirrel" "eats" "bear" "+"))
The lion eats the squirrel.
True
1
proof
[(triple3)]
("lion" "eats" "squirrel" "+")
triple3
The lion does not visit the squirrel.
False
1
inv-proof
[(triple12)]
("lion" "visits" "squirrel" "-")
triple12
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 is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
@0: The bear eats the squirrel.[(triple1)] The lion eats the bear.[(triple2)] The lion eats the squirrel.[(triple3)] The lion is big.[(triple4)] The lion is blue.[(triple5)] The lion is kind.[(triple6)] The lion is red.[(triple7 OR ((triple4) -> rule5))] The lion is rough.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the squirrel.[(triple10 OR ((triple9 triple11) -> rule1))] The lion visits the bear.[(triple11)] The lion visits the squirrel.[(triple12)] The squirrel eats the bear.[(triple13 OR ((triple16) -> rule8))] The squirrel is kind.[(triple14)] The squirrel is rough.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The bear is big.[(((triple13) -> rule2) OR ((triple2) -> rule2) OR ((((triple16) -> rule8)) -> rule2))] The bear visits the squirrel.[(((triple6 triple9) -> rule4))] @2: The bear is red.[(((((triple13) -> rule2)) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((((triple16) -> rule8)) -> rule2)) -> rule5))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The lion eats the bear.
("lion" "eats" "bear" "+")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
((triple4) -> (rule5 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple10
((triple9 triple11) -> (rule1 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple12
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple13
((triple16) -> (rule8 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple15
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple16
The bear is big.
("bear" "is" "big" "+")
((triple13) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple2) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple16) -> (rule8 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
((triple6 triple9) -> (rule4 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple13) -> (rule2 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((((triple16) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3