The bald eagle is round. The bald eagle is young. The bald eagle likes the mouse. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse is blue. The mouse is round. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse visits the bald eagle. If the bald eagle needs the mouse then the mouse needs the bald eagle. Blue things are young. If something is round and it likes the mouse then it is rough. If something needs the mouse and it needs the bald eagle then it likes the mouse. If something is rough and it does not need the bald eagle then it does not like the mouse. If something visits the bald eagle and the bald eagle likes the mouse then it likes the mouse. If something likes the mouse and the mouse needs the bald eagle then the bald eagle visits the mouse. If something likes the mouse then the mouse likes the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If the bald eagle needs the mouse then the mouse needs the bald eagle.
((("bald eagle" "needs" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is round and it likes the mouse then it is rough.
((("something" "is" "round" "+") ("something" "likes" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something needs the mouse and it needs the bald eagle then it likes the mouse.
((("something" "needs" "mouse" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "likes" "mouse" "+"))
If something is rough and it does not need the bald eagle then it does not like the mouse.
((("something" "is" "rough" "+") ("something" "needs" "bald eagle" "~")) -> ("something" "likes" "mouse" "-"))
If something visits the bald eagle and the bald eagle likes the mouse then it likes the mouse.
((("something" "visits" "bald eagle" "+") ("bald eagle" "likes" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If something likes the mouse and the mouse needs the bald eagle then the bald eagle visits the mouse.
((("something" "likes" "mouse" "+") ("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something likes the mouse then the mouse likes the bald eagle.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "bald eagle" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple10)]
("mouse" "visits" "bald eagle" "+")
triple10
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The mouse likes the mouse.
True
3
proof
[(((triple10 triple3) -> rule6))]
("mouse" "likes" "mouse" "+")
((triple10 triple3) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
3
inv-proof
[(((triple10 triple3) -> rule6))]
("mouse" "likes" "mouse" "-")
((triple10 triple3) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is rough.
True
5
proof
[(((triple7 ((triple10 triple3) -> rule6)) -> rule3))]
("mouse" "is" "rough" "+")
((triple7 ((triple10 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse is not rough.
False
5
inv-proof
[(((triple7 ((triple10 triple3) -> rule6)) -> rule3))]
("mouse" "is" "rough" "-")
((triple7 ((triple10 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "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 is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle visits the mouse.[(triple5 OR ((triple3 triple9) -> rule7) OR ((triple3 ((triple4) -> rule1)) -> rule7) OR ((((triple10 triple3) -> rule6) triple9) -> rule7) OR ((((triple10 triple3) -> rule6) ((triple4) -> rule1)) -> rule7))] The mouse is blue.[(triple6)] The mouse is round.[(triple7)] The mouse likes the bald eagle.[(triple8 OR ((triple3) -> rule8) OR ((((triple10 triple3) -> rule6)) -> rule8))] The mouse needs the bald eagle.[(triple9 OR ((triple4) -> rule1))] The mouse visits the bald eagle.[(triple10)] @1: The bald eagle is rough.[(((triple1 triple3) -> rule3))] The mouse is young.[(((triple6) -> rule2))] The mouse likes the mouse.[(((triple10 triple3) -> rule6))] @2: The mouse is rough.[(((triple7 ((triple10 triple3) -> rule6)) -> rule3))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
((triple3 triple9) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
((((triple10 triple3) -> (rule6 % int2)) triple9) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
((((triple10 triple3) -> (rule6 % int3)) ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
((triple3) -> (rule8 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
((((triple10 triple3) -> (rule6 % int2))) -> (rule8 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
((triple4) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1 triple3) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple6) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple10 triple3) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple7 ((triple10 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2