The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse is nice. The mouse is red. The mouse is round. The mouse sees the bald eagle. If something eats the mouse then the mouse sees the bald eagle. If something sees the mouse and it is big then the mouse does not need the bald eagle. If something is round then it sees the mouse. If something sees the bald eagle then it is blue. If something sees the mouse then the mouse is not big. If something sees the bald eagle and the bald eagle is not round then the bald eagle eats the mouse. If the mouse does not see the bald eagle and the bald eagle does not see the mouse then the mouse eats the bald eagle. If the bald eagle sees the mouse and the mouse does not eat the bald eagle then the mouse is blue.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something eats the mouse then the mouse sees the bald eagle.
((("something" "eats" "mouse" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If something sees the mouse and it is big then the mouse does not need the bald eagle.
((("something" "sees" "mouse" "+") ("something" "is" "big" "+")) -> ("mouse" "needs" "bald eagle" "-"))
If something is round then it sees the mouse.
((("something" "is" "round" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the bald eagle then it is blue.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something sees the mouse then the mouse is not big.
((("something" "sees" "mouse" "+")) -> ("mouse" "is" "big" "-"))
If something sees the bald eagle and the bald eagle is not round then the bald eagle eats the mouse.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "eats" "mouse" "+"))
If the mouse does not see the bald eagle and the bald eagle does not see the mouse then the mouse eats the bald eagle.
((("mouse" "sees" "bald eagle" "~") ("bald eagle" "sees" "mouse" "~")) -> ("mouse" "eats" "bald eagle" "+"))
If the bald eagle sees the mouse and the mouse does not eat the bald eagle then the mouse is blue.
((("bald eagle" "sees" "mouse" "+") ("mouse" "eats" "bald eagle" "~")) -> ("mouse" "is" "blue" "+"))
The mouse is nice.
True
1
proof
[(triple9)]
("mouse" "is" "nice" "+")
triple9
The bald eagle is not red.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "red" "-")
triple4
The mouse is not big.
True
2
proof
[(((triple6) -> rule5) OR ((((triple11) -> rule3)) -> rule5))]
("mouse" "is" "big" "-")
((triple6) -> (rule5 % int1))
The mouse is not big.
("mouse" "is" "big" "-")
int1
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is not big.
("mouse" "is" "big" "-")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse is big.
False
2
inv-proof
[(((triple6) -> rule5) OR ((((triple11) -> rule3)) -> rule5))]
("mouse" "is" "big" "+")
((triple6) -> (rule5 % int1))
The mouse is not big.
("mouse" "is" "big" "-")
int1
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is not big.
("mouse" "is" "big" "-")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
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 bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle sees the mouse.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is blue.[(triple8 OR ((triple12) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] The mouse is nice.[(triple9)] The mouse is red.[(triple10)] The mouse is round.[(triple11)] The mouse sees the bald eagle.[(triple12 OR ((triple1) -> rule1))] @1: The mouse is not big.[(((triple6) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] The mouse sees the mouse.[(((triple11) -> rule3))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
((triple12) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
((triple1) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse is not big.
("mouse" "is" "big" "-")
((triple6) -> (rule5 % int1))
The mouse is not big.
("mouse" "is" "big" "-")
int1
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is not big.
("mouse" "is" "big" "-")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple11) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1