The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is round. The rabbit is young. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If someone sees the rabbit and the rabbit is big then the rabbit visits the bald eagle. If someone likes the bald eagle then the bald eagle likes the rabbit. If someone visits the rabbit then the rabbit visits the bald eagle. If someone likes the bald eagle and the bald eagle likes the rabbit then they see the bald eagle. If someone likes the bald eagle and the bald eagle visits the rabbit then the bald eagle likes the rabbit. If someone is young and kind then they like the bald eagle. If someone visits the bald eagle and they like the bald eagle then the bald eagle sees the rabbit. If someone visits the rabbit then they are green.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone sees the rabbit and the rabbit is big then the rabbit visits the bald eagle.
((("someone" "sees" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle likes the rabbit.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone visits the rabbit then the rabbit visits the bald eagle.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle likes the rabbit then they see the bald eagle.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle visits the rabbit then the bald eagle likes the rabbit.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "visits" "rabbit" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone is young and kind then they like the bald eagle.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the bald eagle and they like the bald eagle then the bald eagle sees the rabbit.
((("someone" "visits" "bald eagle" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone visits the rabbit then they are green.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "green" "+"))
The bald eagle is kind.
True
1
proof
[(triple3)]
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not round.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "round" "-")
triple4
The bald eagle likes the bald eagle.
True
3
proof
[(((triple5 triple3) -> rule6))]
("bald eagle" "likes" "bald eagle" "+")
((triple5 triple3) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
3
inv-proof
[(((triple5 triple3) -> rule6))]
("bald eagle" "likes" "bald eagle" "-")
((triple5 triple3) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
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" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2 OR ((triple8) -> rule8))] The bald eagle is kind.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the rabbit.[(triple6 OR ((triple14) -> rule2) OR ((triple14 triple8) -> rule5) OR ((((triple13 triple11) -> rule6)) -> rule2) OR ((((triple5 triple3) -> rule6)) -> rule2) OR ((((triple13 triple11) -> rule6) triple8) -> rule5) OR ((((triple5 triple3) -> rule6) triple8) -> rule5))] The bald eagle sees the rabbit.[(triple7 OR ((triple16 triple14) -> rule7) OR ((triple16 ((triple13 triple11) -> rule6)) -> rule7) OR ((((triple8) -> rule3) triple14) -> rule7) OR ((((triple8) -> rule3) ((triple13 triple11) -> rule6)) -> rule7))] The bald eagle visits the rabbit.[(triple8)] The rabbit is big.[(triple9)] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is round.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bald eagle.[(triple14 OR ((triple13 triple11) -> rule6))] The rabbit sees the bald eagle.[(triple15 OR ((triple14 triple6) -> rule4) OR ((triple14 ((triple14) -> rule2)) -> rule4) OR ((triple14 ((triple14 triple8) -> rule5)) -> rule4) OR ((((triple13 triple11) -> rule6) triple6) -> rule4) OR ((((triple13 triple11) -> rule6) ((triple14) -> rule2)) -> rule4) OR ((((triple13 triple11) -> rule6) ((triple14 triple8) -> rule5)) -> rule4) OR ((triple14 ((((triple13 triple11) -> rule6)) -> rule2)) -> rule4) OR ((triple14 ((((triple5 triple3) -> rule6)) -> rule2)) -> rule4) OR ((triple14 ((((triple13 triple11) -> rule6) triple8) -> rule5)) -> rule4) OR ((triple14 ((((triple5 triple3) -> rule6) triple8) -> rule5)) -> rule4) OR ((((triple13 triple11) -> rule6) ((((triple13 triple11) -> rule6)) -> rule2)) -> rule4) OR ((((triple13 triple11) -> rule6) ((((triple5 triple3) -> rule6)) -> rule2)) -> rule4) OR ((((triple13 triple11) -> rule6) ((((triple13 triple11) -> rule6) triple8) -> rule5)) -> rule4) OR ((((triple13 triple11) -> rule6) ((((triple5 triple3) -> rule6) triple8) -> rule5)) -> rule4))] The rabbit visits the bald eagle.[(triple16 OR ((triple8) -> rule3) OR ((triple7 triple9) -> rule1))] @1: The bald eagle likes the bald eagle.[(((triple5 triple3) -> rule6))] @2: The bald eagle sees the bald eagle.[(((((triple5 triple3) -> rule6) triple6) -> rule4) OR ((((triple5 triple3) -> rule6) ((triple14) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule6) ((triple14 triple8) -> rule5)) -> rule4) OR ((((triple5 triple3) -> rule6) ((((triple13 triple11) -> rule6)) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule6) ((((triple5 triple3) -> rule6)) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule6) ((((triple13 triple11) -> rule6) triple8) -> rule5)) -> rule4) OR ((((triple5 triple3) -> rule6) ((((triple5 triple3) -> rule6) triple8) -> rule5)) -> rule4))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
((triple8) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple6
((triple14) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((triple14 triple8) -> (rule5 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((((triple13 triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((triple5 triple3) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((triple13 triple11) -> (rule6 % int2)) triple8) -> (rule5 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((triple5 triple3) -> (rule6 % int2)) triple8) -> (rule5 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple7
((triple16 triple14) -> (rule7 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
((triple16 ((triple13 triple11) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((triple8) -> (rule3 % int2)) triple14) -> (rule7 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple13 triple11) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
((triple13 triple11) -> (rule6 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple15
((triple14 triple6) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
((triple14 ((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((triple14 ((triple14 triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple13 triple11) -> (rule6 % int2)) triple6) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((triple13 triple11) -> (rule6 % int3)) ((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((triple13 triple11) -> (rule6 % int3)) ((triple14 triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((triple14 ((((triple13 triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((triple14 ((((triple5 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((triple14 ((((triple13 triple11) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((triple14 ((((triple5 triple3) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((triple13 triple11) -> (rule6 % int3)) ((((triple13 triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((triple13 triple11) -> (rule6 % int4)) ((((triple5 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
((((triple13 triple11) -> (rule6 % int3)) ((((triple13 triple11) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((triple13 triple11) -> (rule6 % int4)) ((((triple5 triple3) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple16
((triple8) -> (rule3 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
((triple7 triple9) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple5 triple3) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple5 triple3) -> (rule6 % int2)) triple6) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((triple5 triple3) -> (rule6 % int3)) ((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((triple5 triple3) -> (rule6 % int3)) ((triple14 triple8) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((triple5 triple3) -> (rule6 % int4)) ((((triple13 triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((triple5 triple3) -> (rule6 % int3)) ((((triple5 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((triple5 triple3) -> (rule6 % int4)) ((((triple13 triple11) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((triple5 triple3) -> (rule6 % int3)) ((((triple5 triple3) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3