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