The bald eagle chases the dog. The bald eagle is blue. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the dog. The bald eagle sees the cow. The bald eagle sees the dog. The cow chases the bald eagle. The cow is blue. The cow is rough. The cow needs the bald eagle. The cow sees the dog. The dog is young. The dog needs the bald eagle. The dog needs the cow. If something is green and it needs the cow then it is blue. Rough, blue things are young. If something sees the dog then it needs the dog.
The cow is red.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5 OR ((triple4 triple2) -> rule2))] The bald eagle needs the dog.[(triple6 OR ((triple8) -> rule3))] The bald eagle sees the cow.[(triple7)] The bald eagle sees the dog.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow is blue.[(triple10)] The cow is rough.[(triple11)] The cow needs the bald eagle.[(triple12)] The cow sees the dog.[(triple13)] The dog is young.[(triple14)] The dog needs the bald eagle.[(triple15)] The dog needs the cow.[(triple16)] @1: The cow is young.[(((triple11 triple10) -> rule2))] The cow needs the dog.[(((triple13) -> rule3))]