The bald eagle chases the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The cow chases the bald eagle. The cow is blue. The cow is cold. The cow is nice. The cow is red. The cow is young. The cow needs the bald eagle. The cow sees the bald eagle. If someone is nice and they chase the bald eagle then they need the bald eagle. If the bald eagle sees the cow then the cow chases the bald eagle. If someone chases the cow then the cow needs the bald eagle. If the cow needs the bald eagle and the bald eagle needs the cow then the bald eagle is red. If someone needs the cow then the cow is cold. If someone needs the bald eagle and the bald eagle sees the cow then the bald eagle chases the cow. If someone is blue then they need the cow. If someone chases the cow then the cow is nice.
The cow does not need the bald eagle.
@0: The bald eagle chases the cow.[(triple1 OR ((triple15 triple8) -> rule6) OR ((((triple12 triple9) -> rule1) triple8) -> rule6) OR ((((triple12 ((triple8) -> rule2)) -> rule1) triple8) -> rule6))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5 OR ((triple15 triple7) -> rule4) OR ((triple15 ((triple2) -> rule7)) -> rule4) OR ((((triple1) -> rule3) triple7) -> rule4) OR ((((triple12 triple9) -> rule1) triple7) -> rule4) OR ((((triple1) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((((triple12 triple9) -> rule1) ((triple2) -> rule7)) -> rule4) OR ((((triple12 ((triple8) -> rule2)) -> rule1) triple7) -> rule4) OR ((((((triple1) -> rule8) triple9) -> rule1) triple7) -> rule4) OR ((((triple12 ((triple8) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule8) triple9) -> rule1) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule8) ((triple8) -> rule2)) -> rule1) triple7) -> rule4) OR ((((((triple1) -> rule8) ((triple8) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule4))] The bald eagle is young.[(triple6)] The bald eagle needs the cow.[(triple7 OR ((triple2) -> rule7))] The bald eagle sees the cow.[(triple8)] The cow chases the bald eagle.[(triple9 OR ((triple8) -> rule2))] The cow is blue.[(triple10)] The cow is cold.[(triple11 OR ((triple7) -> rule5) OR ((((triple10) -> rule7)) -> rule5) OR ((((triple2) -> rule7)) -> rule5))] The cow is nice.[(triple12 OR ((triple1) -> rule8) OR ((((triple15 triple8) -> rule6)) -> rule8))] The cow is red.[(triple13)] The cow is young.[(triple14)] The cow needs the bald eagle.[(triple15 OR ((triple1) -> rule3) OR ((triple12 triple9) -> rule1) OR ((triple12 ((triple8) -> rule2)) -> rule1) OR ((((triple1) -> rule8) triple9) -> rule1) OR ((((triple1) -> rule8) ((triple8) -> rule2)) -> rule1))] The cow sees the bald eagle.[(triple16)] @1: The cow needs the cow.[(((triple10) -> rule7))]