The bald eagle chases the squirrel. The bald eagle does not eat the squirrel. The bald eagle visits the squirrel. The mouse is big. The mouse is red. The mouse is rough. The squirrel eats the bald eagle. If something is kind then it does not visit the mouse. If something eats the squirrel then it visits the mouse. If the squirrel eats the mouse then the mouse is red. If the bald eagle eats the mouse then the mouse is kind. If the bald eagle is blue and the bald eagle is red then the bald eagle visits the squirrel. If something chases the mouse and it is red then it is rough. If the mouse is rough then the mouse visits the squirrel. If something is rough then it eats the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something is kind then it does not visit the mouse.
((("something" "is" "kind" "+")) -> ("something" "visits" "mouse" "-"))
If something eats the squirrel then it visits the mouse.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "mouse" "+"))
If the squirrel eats the mouse then the mouse is red.
((("squirrel" "eats" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If the bald eagle eats the mouse then the mouse is kind.
((("bald eagle" "eats" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If the bald eagle is blue and the bald eagle is red then the bald eagle visits the squirrel.
((("bald eagle" "is" "blue" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something chases the mouse and it is red then it is rough.
((("something" "chases" "mouse" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If the mouse is rough then the mouse visits the squirrel.
((("mouse" "is" "rough" "+")) -> ("mouse" "visits" "squirrel" "+"))
If something is rough then it eats the squirrel.
((("something" "is" "rough" "+")) -> ("something" "eats" "squirrel" "+"))
The mouse is big.
True
1
proof
[(triple4)]
("mouse" "is" "big" "+")
triple4
The mouse is not rough.
False
1
inv-proof
[(triple6)]
("mouse" "is" "rough" "-")
triple6
The mouse eats the squirrel.
True
2
proof
[(((triple6) -> rule8))]
("mouse" "eats" "squirrel" "+")
((triple6) -> (rule8 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse does not visit the squirrel.
False
2
inv-proof
[(((triple6) -> rule7))]
("mouse" "visits" "squirrel" "-")
((triple6) -> (rule7 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The mouse visits the mouse.
True
3
proof
[(((((triple6) -> rule8)) -> rule2))]
("mouse" "visits" "mouse" "+")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The mouse does not visit the mouse.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule2))]
("mouse" "visits" "mouse" "-")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle visits the mouse.
Unknown
rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "mouse" "+")
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@2: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
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 squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel eats the mouse.
Unknown
random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not eat the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The mouse is big.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The squirrel eats the bald eagle.[(triple7)] @1: The mouse eats the squirrel.[(((triple6) -> rule8))] The mouse visits the squirrel.[(((triple6) -> rule7))] @2: The mouse visits the mouse.[(((((triple6) -> rule8)) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
((triple6) -> (rule8 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
((triple6) -> (rule7 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2