The bald eagle chases the squirrel. The bald eagle is red. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle needs the mouse. The bald eagle needs the squirrel. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse is green. The mouse is young. The mouse likes the squirrel. The mouse needs the bald eagle. The mouse needs the squirrel. The squirrel chases the bald eagle. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone is young and they like the mouse then they chase the squirrel. If someone needs the mouse and they like the squirrel then they are red. If someone chases the squirrel then the squirrel chases the mouse. If the squirrel is big and the squirrel likes the mouse then the squirrel needs the bald eagle. If someone is nice and they chase the squirrel then the squirrel is green. If someone is green then they like the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone is young and they like the mouse then they chase the squirrel.
((("someone" "is" "young" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone needs the mouse and they like the squirrel then they are red.
((("someone" "needs" "mouse" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone chases the squirrel then the squirrel chases the mouse.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
If the squirrel is big and the squirrel likes the mouse then the squirrel needs the bald eagle.
((("squirrel" "is" "big" "+") ("squirrel" "likes" "mouse" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone is nice and they chase the squirrel then the squirrel is green.
((("someone" "is" "nice" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone is green then they like the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
The mouse chases the bald eagle.
True
1
proof
[(triple7)]
("mouse" "chases" "bald eagle" "+")
triple7
The mouse does not chase the squirrel.
False
1
inv-proof
[(triple8)]
("mouse" "chases" "squirrel" "-")
triple8
The squirrel chases the mouse.
True
2
proof
[(((triple1) -> rule3) OR ((triple8) -> rule3))]
("squirrel" "chases" "mouse" "+")
((triple1) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
((triple8) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The squirrel does not chase the mouse.
False
2
inv-proof
[(((triple1) -> rule3) OR ((triple8) -> rule3))]
("squirrel" "chases" "mouse" "-")
((triple1) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
((triple8) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is red.[(triple2 OR ((triple5 triple4) -> rule2))] The bald eagle is young.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse is green.[(triple9)] The mouse is young.[(triple10)] The mouse likes the squirrel.[(triple11 OR ((triple9) -> rule6))] The mouse needs the bald eagle.[(triple12)] The mouse needs the squirrel.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The squirrel chases the mouse.[(((triple1) -> rule3) OR ((triple8) -> rule3))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
((triple5 triple4) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
The mouse is young.
("mouse" "is" "young" "+")
triple10
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple11
((triple9) -> (rule6 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple12
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple13
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
((triple1) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
((triple8) -> (rule3 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1