The bald eagle chases the cow. The bald eagle is not big. The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle sees the cow. The cat does not chase the cow. The cat needs the bald eagle. The cat needs the cow. The cat sees the bald eagle. The cow chases the bald eagle. The cow is big. The cow is rough. The cow needs the cat. The cow sees the bald eagle. The cow sees the cat. If someone sees the cat and they need the bald eagle then the bald eagle is not young. If someone needs the cat and the cat is blue then the cat sees the bald eagle. If the cat does not need the bald eagle then the cat is not nice. If the cat chases the bald eagle and the cat is big then the cat does not need the cow. If the bald eagle chases the cow then the cow is rough. If someone is rough and they need the cow then the cow needs the cat. If someone sees the bald eagle then the bald eagle needs the cat. If someone sees the bald eagle and they need the cat then they see the cat.
The cat is blue.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not big.[(triple2)] The bald eagle needs the cat.[(triple3 OR ((triple14) -> rule7) OR ((triple9) -> rule7))] The bald eagle needs the cow.[(triple4)] The bald eagle sees the cow.[(triple5)] The cat does not chase the cow.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat needs the cow.[(triple8)] The cat sees the bald eagle.[(triple9)] The cow chases the bald eagle.[(triple10)] The cow is big.[(triple11)] The cow is rough.[(triple12 OR ((triple1) -> rule5))] The cow needs the cat.[(triple13)] The cow sees the bald eagle.[(triple14)] The cow sees the cat.[(triple15 OR ((triple14 triple13) -> rule8))]