The bald eagle eats the mouse. The bald eagle needs the mouse. The bald eagle needs the squirrel. The mouse eats the bald eagle. The mouse is big. The mouse is red. The mouse needs the bald eagle. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is kind. The squirrel needs the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. The squirrel sees the mouse. If someone needs the squirrel then they see the bald eagle. If someone is kind and they see the bald eagle then the bald eagle eats the squirrel. Big, kind people are rough. If someone is big then they need the squirrel. If someone sees the bald eagle then they are red. If someone eats the mouse then the mouse is red. If someone sees the mouse and the mouse sees the bald eagle then they eat the squirrel. If someone is nice then they see the squirrel.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone needs the squirrel then they see the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is kind and they see the bald eagle then the bald eagle eats the squirrel.
((("someone" "is" "kind" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
Big, kind people are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they need the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone sees the bald eagle then they are red.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone eats the mouse then the mouse is red.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If someone sees the mouse and the mouse sees the bald eagle then they eat the squirrel.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "bald eagle" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is nice then they see the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "squirrel" "+"))
The mouse is big.
True
1
proof
[(triple5)]
("mouse" "is" "big" "+")
triple5
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "squirrel" "-")
triple3
The bald eagle sees the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "sees" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse sees the bald eagle.
True
3
proof
[(((((triple5) -> rule4)) -> rule1))]
("mouse" "sees" "bald eagle" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The bald eagle is not red.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule5))]
("bald eagle" "is" "red" "-")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The squirrel eats the squirrel.
True
5
proof
[(((triple15 ((((triple5) -> rule4)) -> rule1)) -> rule7))]
("squirrel" "eats" "squirrel" "+")
((triple15 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The squirrel does not eat the squirrel.
False
5
inv-proof
[(((triple15 ((((triple5) -> rule4)) -> rule1)) -> rule7))]
("squirrel" "eats" "squirrel" "-")
((triple15 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The mouse is rough.
Unknown
rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "rough" "+")
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The mouse eats the squirrel.
Unknown
rconc
[@1: The mouse eats the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "eats" "squirrel" "+")
The bald eagle does not see the mouse.
Unknown
inv-random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse is red.[(triple6 OR ((triple1) -> rule6) OR ((triple9) -> rule6) OR ((((((triple5) -> rule4)) -> rule1)) -> rule5))] The mouse needs the bald eagle.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel needs the bald eagle.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel sees the bald eagle.[(triple14 OR ((((triple10) -> rule4)) -> rule1))] The squirrel sees the mouse.[(triple15)] @1: The bald eagle eats the squirrel.[(((triple11 triple14) -> rule2) OR ((triple11 ((((triple10) -> rule4)) -> rule1)) -> rule2))] The bald eagle sees the bald eagle.[(((triple3) -> rule1))] The mouse needs the squirrel.[(((triple5) -> rule4))] The squirrel is red.[(((triple14) -> rule5) OR ((((((triple10) -> rule4)) -> rule1)) -> rule5))] The squirrel is rough.[(((triple10 triple11) -> rule3))] The squirrel needs the squirrel.[(((triple10) -> rule4))] @2: The bald eagle is red.[(((((triple3) -> rule1)) -> rule5))] The mouse sees the bald eagle.[(((((triple5) -> rule4)) -> rule1))] @3: The squirrel eats the squirrel.[(((triple15 ((((triple5) -> rule4)) -> rule1)) -> rule7))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
((triple1) -> (rule6 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
((triple9) -> (rule6 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple8
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple13
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple15
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple11 triple14) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
((triple11 ((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
((triple5) -> (rule4 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple14) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple10 triple11) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple10) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple15 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3