The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle likes the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is cold. The mouse is nice. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the bald eagle. If someone is nice then they eat the bald eagle. If someone eats the mouse then they chase the bald eagle. If someone likes the bald eagle and they eat the bald eagle then the bald eagle is round. If someone chases the bald eagle then they are rough. If someone eats the bald eagle and the bald eagle eats the mouse then the mouse is nice. If someone is young then they chase the bald eagle. If the mouse likes the bald eagle and the mouse eats the bald eagle then the mouse is cold. If someone likes the bald eagle then the bald eagle is young.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
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 mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If someone is nice then they eat the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the mouse then they chase the bald eagle.
((("someone" "eats" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone likes the bald eagle and they eat the bald eagle then the bald eagle is round.
((("someone" "likes" "bald eagle" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone chases the bald eagle then they are rough.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the bald eagle and the bald eagle eats the mouse then the mouse is nice.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone is young then they chase the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the mouse likes the bald eagle and the mouse eats the bald eagle then the mouse is cold.
((("mouse" "likes" "bald eagle" "+") ("mouse" "eats" "bald eagle" "+")) -> ("mouse" "is" "cold" "+"))
If someone likes the bald eagle then the bald eagle is young.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
The mouse is cold.
True
1
proof
[(triple11 OR ((triple16 triple10) -> rule7) OR ((triple16 ((triple12) -> rule1)) -> rule7) OR ((triple16 ((((((triple4) -> rule1) triple2) -> rule5)) -> rule1)) -> rule7))]
("mouse" "is" "cold" "+")
triple11
((triple16 triple10) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple16 ((triple12) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
((triple16 ((((((triple4) -> (rule1 % int4)) triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The mouse is not nice.
False
1
inv-proof
[(triple12 OR ((triple10 triple2) -> rule5) OR ((((triple4) -> rule1) triple2) -> rule5))]
("mouse" "is" "nice" "-")
triple12
((triple10 triple2) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((((triple4) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
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 mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5 OR ((((triple2) -> rule2)) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((((triple16) -> rule8)) -> rule6)) -> rule4))] The bald eagle is round.[(triple6 OR ((triple16 triple10) -> rule3) OR ((triple16 ((triple12) -> rule1)) -> rule3) OR ((triple16 ((((((triple4) -> rule1) triple2) -> rule5)) -> rule1)) -> rule3))] The bald eagle is young.[(triple7 OR ((triple16) -> rule8))] The bald eagle likes the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9 OR ((triple15) -> rule6))] The mouse eats the bald eagle.[(triple10 OR ((triple12) -> rule1) OR ((((((triple4) -> rule1) triple2) -> rule5)) -> rule1))] The mouse is cold.[(triple11 OR ((triple16 triple10) -> rule7) OR ((triple16 ((triple12) -> rule1)) -> rule7) OR ((triple16 ((((((triple4) -> rule1) triple2) -> rule5)) -> rule1)) -> rule7))] The mouse is nice.[(triple12 OR ((triple10 triple2) -> rule5) OR ((((triple4) -> rule1) triple2) -> rule5))] The mouse is rough.[(triple13 OR ((triple9) -> rule4) OR ((((triple15) -> rule6)) -> rule4))] The mouse is round.[(triple14)] The mouse is young.[(triple15)] The mouse likes the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule2) OR ((triple7) -> rule6) OR ((((triple16) -> rule8)) -> rule6))] The bald eagle eats the bald eagle.[(((triple4) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
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 rough.
("bald eagle" "is" "rough" "+")
triple5
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((((triple16) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
((triple16 triple10) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple16 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
((triple16 ((((((triple4) -> (rule1 % int4)) triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple7
((triple16) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
((triple15) -> (rule6 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple10
((triple12) -> (rule1 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
((((((triple4) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
((triple16 triple10) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple16 ((triple12) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
((triple16 ((((((triple4) -> (rule1 % int4)) triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
((triple10 triple2) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((((triple4) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
((triple9) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
((((triple15) -> (rule6 % int2))) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((((triple16) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1