The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is blue. The mouse is green. The mouse is red. The mouse is rough. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone is green then they need the bald eagle. If someone needs the bald eagle then they chase the mouse. If someone chases the bald eagle and they visit the mouse then the bald eagle needs the mouse. If someone chases the mouse and the mouse is green then they need the bald eagle. If someone visits the bald eagle then they are red. If someone needs the mouse then they visit the bald eagle. If someone visits the bald eagle then the bald eagle chases the mouse. If someone chases the bald eagle then they need the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone is green then they need the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the bald eagle then they chase the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the bald eagle and they visit the mouse then the bald eagle needs the mouse.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "mouse" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If someone chases the mouse and the mouse is green then they need the bald eagle.
((("someone" "chases" "mouse" "+") ("mouse" "is" "green" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle then they are red.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone needs the mouse then they visit the bald eagle.
((("someone" "needs" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle chases the mouse.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If someone chases the bald eagle then they need the mouse.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "needs" "mouse" "+"))
The mouse is rough.
True
1
proof
[(triple13)]
("mouse" "is" "rough" "+")
triple13
The bald eagle is not red.
False
1
inv-proof
[(triple5 OR ((((triple7) -> rule6)) -> rule5))]
("bald eagle" "is" "red" "-")
triple5
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
True
2
proof
[(((triple3) -> rule1) OR ((triple1 triple11) -> rule4) OR ((((triple15) -> rule7) triple11) -> rule4) OR ((((((triple7) -> rule6)) -> rule7) triple11) -> rule4) OR ((((((((triple9) -> rule8)) -> rule6)) -> rule7) triple11) -> rule4))]
("bald eagle" "needs" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
((triple1 triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
((((triple15) -> (rule7 % int2)) triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule7 % int2)) triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple7) -> rule6))]
("bald eagle" "visits" "bald eagle" "-")
((triple7) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple15) -> rule7) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple7) -> rule6)) -> rule7) OR ((((((triple9) -> rule8)) -> rule6)) -> rule7))] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5 OR ((((triple7) -> rule6)) -> rule5))] The bald eagle is rough.[(triple6)] The bald eagle needs the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse is red.[(triple12 OR ((triple15) -> rule5) OR ((((((triple9) -> rule8)) -> rule6)) -> rule5))] The mouse is rough.[(triple13)] The mouse needs the bald eagle.[(triple14 OR ((triple11) -> rule1))] The mouse visits the bald eagle.[(triple15 OR ((((triple9) -> rule8)) -> rule6))] @1: The bald eagle needs the bald eagle.[(((triple3) -> rule1) OR ((triple1 triple11) -> rule4) OR ((((triple15) -> rule7) triple11) -> rule4) OR ((((((triple7) -> rule6)) -> rule7) triple11) -> rule4) OR ((((((((triple9) -> rule8)) -> rule6)) -> rule7) triple11) -> rule4))] The bald eagle visits the bald eagle.[(((triple7) -> rule6))] The mouse chases the mouse.[(((triple14) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] The mouse needs the mouse.[(((triple9) -> rule8))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple15) -> (rule7 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple6
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple7
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple12
((triple15) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple14
((triple11) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple15
((((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
((triple1 triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
((((triple15) -> (rule7 % int2)) triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule7 % int2)) triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple11) -> (rule4 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple14) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple9) -> (rule8 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1