The bald eagle chases the mouse. The bald eagle is big. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the bald eagle. The mouse visits the bald eagle. If something chases the mouse and the mouse chases the bald eagle then it needs the mouse. If the mouse visits the bald eagle and the mouse needs the bald eagle then the bald eagle chases the mouse. If something needs the bald eagle and it visits the mouse then it chases the bald eagle. If something is green and young then it visits the bald eagle. If something is green and red then it chases the mouse. If something is green then it visits 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 nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
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 big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something chases the mouse and the mouse chases the bald eagle then it needs the mouse.
((("something" "chases" "mouse" "+") ("mouse" "chases" "bald eagle" "+")) -> ("something" "needs" "mouse" "+"))
If the mouse visits the bald eagle and the mouse needs the bald eagle then the bald eagle chases the mouse.
((("mouse" "visits" "bald eagle" "+") ("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something needs the bald eagle and it visits the mouse then it chases the bald eagle.
((("something" "needs" "bald eagle" "+") ("something" "visits" "mouse" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is green and young then it visits the bald eagle.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is green and red then it chases the mouse.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "chases" "mouse" "+"))
If something is green then it visits the mouse.
((("something" "is" "green" "+")) -> ("something" "visits" "mouse" "+"))
The bald eagle is nice.
True
1
proof
[(triple4)]
("bald eagle" "is" "nice" "+")
triple4
The mouse is not big.
False
1
inv-proof
[(triple10)]
("mouse" "is" "big" "-")
triple10
The mouse visits the mouse.
True
2
proof
[(((triple11) -> rule6))]
("mouse" "visits" "mouse" "+")
((triple11) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((triple3 triple6) -> rule4))]
("bald eagle" "visits" "bald eagle" "-")
((triple3 triple6) -> (rule4 % 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-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
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" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple16 triple15) -> rule2) OR ((triple3 triple5) -> rule5) OR ((((triple11 triple14) -> rule4) triple15) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the mouse.[(triple7 OR ((triple1 triple9) -> rule1) OR ((((triple16 triple15) -> rule2) triple9) -> rule1) OR ((((triple3 triple5) -> rule5) triple9) -> rule1) OR ((triple1 ((triple15 ((triple11) -> rule6)) -> rule3)) -> rule1) OR ((((((triple11 triple14) -> rule4) triple15) -> rule2) triple9) -> rule1) OR ((((triple16 triple15) -> rule2) ((triple15 ((triple11) -> rule6)) -> rule3)) -> rule1) OR ((((triple3 triple5) -> rule5) ((triple15 ((triple11) -> rule6)) -> rule3)) -> rule1) OR ((((((triple11 triple14) -> rule4) triple15) -> rule2) ((triple15 ((triple11) -> rule6)) -> rule3)) -> rule1))] The bald eagle visits the mouse.[(triple8 OR ((triple3) -> rule6))] The mouse chases the bald eagle.[(triple9 OR ((triple15 ((triple11) -> rule6)) -> rule3))] The mouse is big.[(triple10)] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse needs the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16 OR ((triple11 triple14) -> rule4))] @1: The bald eagle visits the bald eagle.[(((triple3 triple6) -> rule4))] The mouse chases the mouse.[(((triple11 triple13) -> rule5))] The mouse visits the mouse.[(((triple11) -> rule6))] @2: The mouse needs the mouse.[(((((triple11 triple13) -> rule5) triple9) -> rule1) OR ((((triple11 triple13) -> rule5) ((triple15 ((triple11) -> rule6)) -> rule3)) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple16 triple15) -> (rule2 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
((triple3 triple5) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
((((triple11 triple14) -> (rule4 % int2)) triple15) -> (rule2 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
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
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple7
((triple1 triple9) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((((triple16 triple15) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
((((triple3 triple5) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
((triple1 ((triple15 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((((((triple11 triple14) -> (rule4 % int3)) triple15) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
((((triple16 triple15) -> (rule2 % int4)) ((triple15 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int4
((((triple3 triple5) -> (rule5 % int4)) ((triple15 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int4
((((((triple11 triple14) -> (rule4 % int5)) triple15) -> (rule2 % int4)) ((triple15 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int4
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple8
((triple3) -> (rule6 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
((triple15 ((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple16
((triple11 triple14) -> (rule4 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple3 triple6) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple11 triple13) -> (rule5 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple11) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple11 triple13) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
((((triple11 triple13) -> (rule5 % int4)) ((triple15 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4