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