The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger is young. The tiger needs the bald eagle. The tiger sees the bald eagle. If something sees the bald eagle and the bald eagle needs the tiger then the tiger needs the bald eagle. If something needs the tiger and the tiger chases the bald eagle then it sees the tiger. Kind things are young. If something is young then it chases the bald eagle. If the bald eagle sees the tiger then the bald eagle chases the tiger. If something is cold then it needs the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something sees the bald eagle and the bald eagle needs the tiger then the tiger needs the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something needs the tiger and the tiger chases the bald eagle then it sees the tiger.
((("something" "needs" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("something" "sees" "tiger" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is young then it chases the bald eagle.
((("something" "is" "young" "+")) -> ("something" "chases" "bald eagle" "+"))
If the bald eagle sees the tiger then the bald eagle chases the tiger.
((("bald eagle" "sees" "tiger" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If something is cold then it needs the tiger.
((("something" "is" "cold" "+")) -> ("something" "needs" "tiger" "+"))
The tiger is young.
True
1
proof
[(triple14 OR ((triple13) -> rule3))]
("tiger" "is" "young" "+")
triple14
((triple13) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The bald eagle is not green.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "green" "-")
triple4
The bald eagle chases the bald eagle.
True
2
proof
[(((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4))]
("bald eagle" "chases" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % 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 tiger does not need the tiger.
False
2
inv-proof
[(((triple11) -> rule6))]
("tiger" "needs" "tiger" "-")
((triple11) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger sees the tiger.
True
4
proof
[(((((triple11) -> rule6) triple9) -> rule2) OR ((((triple11) -> rule6) ((triple14) -> rule4)) -> rule2) OR ((((triple11) -> rule6) ((((triple13) -> rule3)) -> rule4)) -> rule2))]
("tiger" "sees" "tiger" "+")
((((triple11) -> (rule6 % int2)) triple9) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger does not see the tiger.
False
4
inv-proof
[(((((triple11) -> rule6) triple9) -> rule2) OR ((((triple11) -> rule6) ((triple14) -> rule4)) -> rule2) OR ((((triple11) -> rule6) ((((triple13) -> rule3)) -> rule4)) -> rule2))]
("tiger" "sees" "tiger" "-")
((((triple11) -> (rule6 % int2)) triple9) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1 OR ((triple8) -> rule5) OR ((((triple7 triple9) -> rule2)) -> rule5) OR ((((triple7 ((triple14) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6) triple9) -> rule2)) -> rule5) OR ((((((triple3) -> rule6) ((triple14) -> rule4)) -> rule2)) -> rule5) OR ((((triple7 ((((triple13) -> rule3)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6) ((((triple13) -> rule3)) -> rule4)) -> rule2)) -> rule5))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is young.[(triple6 OR ((triple5) -> rule3))] The bald eagle needs the tiger.[(triple7 OR ((triple3) -> rule6))] The bald eagle sees the tiger.[(triple8 OR ((triple7 triple9) -> rule2) OR ((triple7 ((triple14) -> rule4)) -> rule2) OR ((((triple3) -> rule6) triple9) -> rule2) OR ((((triple3) -> rule6) ((triple14) -> rule4)) -> rule2) OR ((triple7 ((((triple13) -> rule3)) -> rule4)) -> rule2) OR ((((triple3) -> rule6) ((((triple13) -> rule3)) -> rule4)) -> rule2))] The tiger chases the bald eagle.[(triple9 OR ((triple14) -> rule4) OR ((((triple13) -> rule3)) -> rule4))] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is young.[(triple14 OR ((triple13) -> rule3))] The tiger needs the bald eagle.[(triple15 OR ((triple16 triple7) -> rule1) OR ((triple16 ((triple3) -> rule6)) -> rule1))] The tiger sees the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] The tiger needs the tiger.[(((triple11) -> rule6))] @2: The tiger sees the tiger.[(((((triple11) -> rule6) triple9) -> rule2) OR ((((triple11) -> rule6) ((triple14) -> rule4)) -> rule2) OR ((((triple11) -> rule6) ((((triple13) -> rule3)) -> rule4)) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
((triple8) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
((((triple7 triple9) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
((((triple7 ((triple14) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
((((((triple3) -> (rule6 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3
((((((triple3) -> (rule6 % int4)) ((triple14) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int4
((((triple7 ((((triple13) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple3) -> (rule6 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
((triple5) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple7
((triple3) -> (rule6 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple8
((triple7 triple9) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
((triple7 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
((((triple3) -> (rule6 % int2)) triple9) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
((((triple3) -> (rule6 % int3)) ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3
((triple7 ((((triple13) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((triple3) -> (rule6 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
((triple14) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
((triple13) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple15
((triple16 triple7) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
((triple16 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % 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 tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple11) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((((triple11) -> (rule6 % int2)) triple9) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4