The bald eagle chases the cat. The bald eagle does not chase the cow. The bald eagle is not kind. The bald eagle does not like the cow. The cat is not blue. The cat does not like the bald eagle. The cat sees the cow. The cow chases the bald eagle. The cow chases the cat. The cow is green. The cow likes the cat. The cow sees the bald eagle. If the cow sees the bald eagle then the cow likes the cat. If someone sees the cat and the cat does not like the cow then the cow is rough. If someone likes the bald eagle then the bald eagle is kind. If someone sees the bald eagle then the bald eagle sees the cow. If someone chases the bald eagle and the bald eagle sees the cow then the cow does not like the bald eagle. If the bald eagle likes the cat and the bald eagle does not see the cat then the bald eagle chases the cow. If someone is green and they do not chase the cow then the cow chases the cat. If someone likes the cat and they chase the cow then the cow chases the cat.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not chase the cow.[(triple2)] The bald eagle does not like the cow.[(triple4)] The bald eagle is not kind.[(triple3)] The cat does not like the bald eagle.[(triple6)] The cat is not blue.[(triple5)] The cat sees the cow.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow chases the cat.[(triple9)] The cow is green.[(triple10)] The cow likes the cat.[(triple11 OR ((triple12) -> rule1))] The cow sees the bald eagle.[(triple12)] @1: The bald eagle sees the cow.[(((triple12) -> rule4))] @2: The cow does not like the bald eagle.[(((triple8 ((triple12) -> rule4)) -> rule5))]