The bald eagle chases the mouse. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is green. The mouse is kind. The mouse is round. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If the mouse sees the bald eagle then the mouse needs the bald eagle. If the mouse is green and the mouse chases the bald eagle then the bald eagle is big. If something sees the mouse then it needs the bald eagle. If something sees the bald eagle then it is round. If something is big then it needs the mouse. If something is kind then it needs the mouse. If the bald eagle chases the mouse and the mouse sees the bald eagle then the mouse needs the bald eagle. If something needs the mouse then it chases the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If the mouse sees the bald eagle then the mouse needs the bald eagle.
((("mouse" "sees" "bald eagle" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If the mouse is green and the mouse chases the bald eagle then the bald eagle is big.
((("mouse" "is" "green" "+") ("mouse" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If something sees the mouse then it needs the bald eagle.
((("something" "sees" "mouse" "+")) -> ("something" "needs" "bald eagle" "+"))
If something sees the bald eagle then it is round.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something is big then it needs the mouse.
((("something" "is" "big" "+")) -> ("something" "needs" "mouse" "+"))
If something is kind then it needs the mouse.
((("something" "is" "kind" "+")) -> ("something" "needs" "mouse" "+"))
If the bald eagle chases the mouse and the mouse sees the bald eagle then the mouse needs the bald eagle.
((("bald eagle" "chases" "mouse" "+") ("mouse" "sees" "bald eagle" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If something needs the mouse then it chases the mouse.
((("something" "needs" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple7 OR ((triple2) -> rule5) OR ((triple4) -> rule6) OR ((((triple11 triple9) -> rule2)) -> rule5))]
("bald eagle" "needs" "mouse" "+")
triple7
((triple2) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple4) -> (rule6 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((((triple11 triple9) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The mouse is not big.
False
1
inv-proof
[(triple10)]
("mouse" "is" "big" "-")
triple10
The bald eagle needs the bald eagle.
True
2
proof
[(((triple8) -> rule3))]
("bald eagle" "needs" "bald eagle" "+")
((triple8) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple8) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((triple8) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The mouse chases the mouse.
True
3
proof
[(((((triple10) -> rule5)) -> rule8) OR ((((triple12) -> rule6)) -> rule8))]
("mouse" "chases" "mouse" "+")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse does not chase the mouse.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule8) OR ((((triple12) -> rule6)) -> rule8))]
("mouse" "chases" "mouse" "-")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple7) -> rule8) OR ((((triple2) -> rule5)) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple11 triple9) -> rule2)) -> rule5)) -> rule8))] The bald eagle is big.[(triple2 OR ((triple11 triple9) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the mouse.[(triple7 OR ((triple2) -> rule5) OR ((triple4) -> rule6) OR ((((triple11 triple9) -> rule2)) -> rule5))] The bald eagle sees the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is big.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is round.[(triple13 OR ((triple16) -> rule4))] The mouse is young.[(triple14)] The mouse needs the bald eagle.[(triple15 OR ((triple16) -> rule1) OR ((triple1 triple16) -> rule7) OR ((((triple7) -> rule8) triple16) -> rule7) OR ((((((triple2) -> rule5)) -> rule8) triple16) -> rule7) OR ((((((triple4) -> rule6)) -> rule8) triple16) -> rule7) OR ((((((((triple11 triple9) -> rule2)) -> rule5)) -> rule8) triple16) -> rule7))] The mouse sees the bald eagle.[(triple16)] @1: The bald eagle needs the bald eagle.[(((triple8) -> rule3))] The mouse needs the mouse.[(((triple10) -> rule5) OR ((triple12) -> rule6))] @2: The mouse chases the mouse.[(((((triple10) -> rule5)) -> rule8) OR ((((triple12) -> rule6)) -> rule8))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple7) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
((((((triple11 triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
((triple11 triple9) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple7
((triple2) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple4) -> (rule6 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((((triple11 triple9) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
((triple16) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
((triple16) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
((triple1 triple16) -> (rule7 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
((((triple7) -> (rule8 % int2)) triple16) -> (rule7 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple16) -> (rule7 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule8 % int2)) triple16) -> (rule7 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int3
((((((((triple11 triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple16) -> (rule7 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple16
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple8) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple10) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
((triple12) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2