The bald eagle is round. The mouse needs the squirrel. The squirrel visits the mouse. If someone visits the squirrel then they are green. If someone needs the squirrel then they visit the squirrel. If the squirrel eats the mouse and the squirrel visits the bald eagle then the mouse is green. If someone is blue and nice then they need the squirrel. If the bald eagle is big then the bald eagle eats the squirrel. If someone visits the bald eagle and the bald eagle is round then they are nice. If someone visits the mouse then they are round. If the mouse needs the bald eagle then the bald eagle is big.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone visits the squirrel then they are green.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone needs the squirrel then they visit the squirrel.
((("someone" "needs" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If the squirrel eats the mouse and the squirrel visits the bald eagle then the mouse is green.
((("squirrel" "eats" "mouse" "+") ("squirrel" "visits" "bald eagle" "+")) -> ("mouse" "is" "green" "+"))
If someone is blue and nice then they need the squirrel.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "squirrel" "+"))
If the bald eagle is big then the bald eagle eats the squirrel.
((("bald eagle" "is" "big" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If someone visits the bald eagle and the bald eagle is round then they are nice.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the mouse then they are round.
((("someone" "visits" "mouse" "+")) -> ("someone" "is" "round" "+"))
If the mouse needs the bald eagle then the bald eagle is big.
((("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The squirrel visits the mouse.
True
1
proof
[(triple3)]
("squirrel" "visits" "mouse" "+")
triple3
The squirrel does not visit the mouse.
False
1
inv-proof
[(triple3)]
("squirrel" "visits" "mouse" "-")
triple3
The squirrel is round.
True
2
proof
[(((triple3) -> rule7))]
("squirrel" "is" "round" "+")
((triple3) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse does not visit the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("mouse" "visits" "squirrel" "-")
((triple2) -> (rule2 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The mouse is green.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("mouse" "is" "green" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The mouse is not green.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("mouse" "is" "green" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "nice" "-")
The bald eagle eats the squirrel.
Unknown
rconc
[@2: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "round" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The mouse needs the squirrel.[(triple2)] The squirrel visits the mouse.[(triple3)] @1: The mouse visits the squirrel.[(((triple2) -> rule2))] The squirrel is round.[(((triple3) -> rule7))] @2: The mouse is green.[(((((triple2) -> rule2)) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple3
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
((triple2) -> (rule2 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple3) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2