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