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