The bald eagle chases the mouse. The bald eagle is blue. The bald eagle sees the mouse. The bald eagle sees the squirrel. The bald eagle visits the mouse. The bald eagle visits the squirrel. The mouse chases the bald eagle. The mouse is blue. The mouse is red. The mouse is rough. The mouse sees the bald eagle. The mouse sees the squirrel. The mouse visits the bald eagle. The squirrel chases the mouse. The squirrel is kind. The squirrel sees the mouse. If something chases the squirrel and it is cold then the squirrel visits the mouse. If the squirrel chases the bald eagle then the squirrel visits the mouse. If something visits the mouse then it sees the squirrel. If something sees the mouse and it visits the squirrel then the mouse visits the squirrel. If something visits the bald eagle then the bald eagle sees the squirrel. If something is red and it visits the squirrel then it sees the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something chases the squirrel and it is cold then the squirrel visits the mouse.
((("something" "chases" "squirrel" "+") ("something" "is" "cold" "+")) -> ("squirrel" "visits" "mouse" "+"))
If the squirrel chases the bald eagle then the squirrel visits the mouse.
((("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "visits" "mouse" "+"))
If something visits the mouse then it sees the squirrel.
((("something" "visits" "mouse" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the mouse and it visits the squirrel then the mouse visits the squirrel.
((("something" "sees" "mouse" "+") ("something" "visits" "squirrel" "+")) -> ("mouse" "visits" "squirrel" "+"))
If something visits the bald eagle then the bald eagle sees the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If something is red and it visits the squirrel then it sees the bald eagle.
((("something" "is" "red" "+") ("something" "visits" "squirrel" "+")) -> ("something" "sees" "bald eagle" "+"))
The squirrel is kind.
True
1
proof
[(triple15)]
("squirrel" "is" "kind" "+")
triple15
The bald eagle does not see the mouse.
False
1
inv-proof
[(triple3)]
("bald eagle" "sees" "mouse" "-")
triple3
The mouse visits the squirrel.
True
3
proof
[(((triple3 triple6) -> rule4))]
("mouse" "visits" "squirrel" "+")
((triple3 triple6) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The mouse does not visit the squirrel.
False
3
inv-proof
[(((triple3 triple6) -> rule4))]
("mouse" "visits" "squirrel" "-")
((triple3 triple6) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@2: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle sees the squirrel.[(triple4 OR ((triple13) -> rule5) OR ((triple5) -> rule3))] The bald eagle visits the mouse.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is blue.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse sees the bald eagle.[(triple11 OR ((triple9 ((triple3 triple6) -> rule4)) -> rule6))] The mouse sees the squirrel.[(triple12)] The mouse visits the bald eagle.[(triple13)] The squirrel chases the mouse.[(triple14)] The squirrel is kind.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The mouse visits the squirrel.[(((triple3 triple6) -> rule4))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
((triple13) -> (rule5 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
((triple5) -> (rule3 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple11
((triple9 ((triple3 triple6) -> (rule4 % int2))) -> (rule6 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple12
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple13
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
((triple3 triple6) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1