The bald eagle sees the mouse. The bald eagle sees the squirrel. The dog chases the bald eagle. The dog sees the bald eagle. The dog sees the mouse. The dog visits the squirrel. The mouse is big. The squirrel chases the bald eagle. The squirrel is cold. The squirrel is red. The squirrel sees the bald eagle. The squirrel visits the mouse. If the bald eagle is rough then the bald eagle sees the squirrel. If someone visits the squirrel and they see the mouse then the squirrel sees the mouse. If someone chases the mouse then the mouse visits the dog.
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the bald eagle is rough then the bald eagle sees the squirrel.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If someone visits the squirrel and they see the mouse then the squirrel sees the mouse.
((("someone" "visits" "squirrel" "+") ("someone" "sees" "mouse" "+")) -> ("squirrel" "sees" "mouse" "+"))
If someone chases the mouse then the mouse visits the dog.
((("someone" "chases" "mouse" "+")) -> ("mouse" "visits" "dog" "+"))
The squirrel is red.
True
1
proof
[(triple10)]
("squirrel" "is" "red" "+")
triple10
The squirrel is not cold.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "cold" "-")
triple9
The squirrel sees the mouse.
True
3
proof
[(((triple6 triple5) -> rule2))]
("squirrel" "sees" "mouse" "+")
((triple6 triple5) -> (rule2 % int1))
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int1
The squirrel does not see the mouse.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("squirrel" "sees" "mouse" "-")
((triple6 triple5) -> (rule2 % int1))
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int1
The mouse does not visit the dog.
Unknown
inv-rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "dog" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
@0: The bald eagle sees the mouse.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog sees the bald eagle.[(triple4)] The dog sees the mouse.[(triple5)] The dog visits the squirrel.[(triple6)] The mouse is big.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is red.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel sees the mouse.[(((triple6 triple5) -> rule2))]
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
((triple6 triple5) -> (rule2 % int1))
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int1