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