The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is young. 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 cold. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If someone eats the mouse and the mouse eats the bald eagle then they need the mouse. If someone eats the mouse and the mouse is blue then the mouse sees the bald eagle. If someone is nice then they eat the mouse. If someone eats the bald eagle and the bald eagle needs the mouse then the mouse needs the bald eagle. If someone sees the mouse then the mouse needs the bald eagle. If the bald eagle sees the mouse then the bald eagle eats the mouse. If someone is blue then they need the bald eagle. If someone needs the mouse and they eat the bald eagle then they see the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
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 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 cold.
("mouse" "is" "cold" "+")
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 sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone eats the mouse and the mouse eats the bald eagle then they need the mouse.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("someone" "needs" "mouse" "+"))
If someone eats the mouse and the mouse is blue then the mouse sees the bald eagle.
((("someone" "eats" "mouse" "+") ("mouse" "is" "blue" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If someone is nice then they eat the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the bald eagle and the bald eagle needs the mouse then the mouse needs the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "needs" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If someone sees the mouse then the mouse needs the bald eagle.
((("someone" "sees" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If the bald eagle sees the mouse then the bald eagle eats the mouse.
((("bald eagle" "sees" "mouse" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone is blue then they need the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the mouse and they eat the bald eagle then they see the mouse.
((("someone" "needs" "mouse" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "mouse" "+"))
The mouse is nice.
True
1
proof
[(triple12)]
("mouse" "is" "nice" "+")
triple12
The mouse is not young.
False
1
inv-proof
[(triple14)]
("mouse" "is" "young" "-")
triple14
The bald eagle needs the bald eagle.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "needs" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple12) -> rule3))]
("mouse" "eats" "mouse" "-")
((triple12) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse needs the mouse.
True
4
proof
[(((((triple12) -> rule3) triple9) -> rule1))]
("mouse" "needs" "mouse" "+")
((((triple12) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse does not need the mouse.
False
4
inv-proof
[(((((triple12) -> rule3) triple9) -> rule1))]
("mouse" "needs" "mouse" "-")
((((triple12) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse sees the mouse.
True
6
proof
[(((((((triple12) -> rule3) triple9) -> rule1) triple9) -> rule8))]
("mouse" "sees" "mouse" "+")
((((((triple12) -> (rule3 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse does not see the mouse.
False
6
inv-proof
[(((((((triple12) -> rule3) triple9) -> rule1) triple9) -> rule8))]
("mouse" "sees" "mouse" "-")
((((((triple12) -> (rule3 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the mouse.[(triple1 OR ((triple4) -> rule3) OR ((triple8) -> rule6))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(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 ((((triple4) -> rule3) triple9) -> rule1) OR ((((triple8) -> rule6) triple9) -> rule1))] The bald eagle sees the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse needs the bald eagle.[(triple15 OR ((triple10) -> rule7) OR ((triple8) -> rule5) OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple1 triple9) -> rule1)) -> rule4) OR ((triple9 ((((triple4) -> rule3) triple9) -> rule1)) -> rule4) OR ((triple9 ((((triple8) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple12) -> rule3) triple9) -> rule1) triple9) -> rule8)) -> rule5))] The mouse sees the bald eagle.[(triple16 OR ((triple1 triple10) -> rule2) OR ((((triple12) -> rule3) triple10) -> rule2) OR ((((triple4) -> rule3) triple10) -> rule2) OR ((((triple8) -> rule6) triple10) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule7))] The mouse eats the mouse.[(((triple12) -> rule3))] @2: The mouse needs the mouse.[(((((triple12) -> rule3) triple9) -> rule1))] @3: The mouse sees the mouse.[(((((((triple12) -> rule3) triple9) -> rule1) triple9) -> rule8))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
((triple4) -> (rule3 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
((triple8) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
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
((((triple4) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
((((triple8) -> (rule6 % int2)) triple9) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple8
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
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
((triple10) -> (rule7 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
((triple8) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
((triple9 triple7) -> (rule4 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
((triple9 ((triple1 triple9) -> (rule1 % int2))) -> (rule4 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
((triple9 ((((triple4) -> (rule3 % int3)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
((triple9 ((((triple8) -> (rule6 % int3)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
((((((((triple12) -> (rule3 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule8 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int4
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple16
((triple1 triple10) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
((((triple12) -> (rule3 % int2)) triple10) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
((((triple4) -> (rule3 % int2)) triple10) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
((((triple8) -> (rule6 % int2)) triple10) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple12) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple12) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((((triple12) -> (rule3 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3