The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle needs the dog. The bald eagle sees the dog. The cow is round. The cow likes the dog. The cow sees the bald eagle. The dog is nice. The dog is round. The dog likes the bald eagle. The dog needs the cow. If someone needs the bald eagle and they need the cow then the bald eagle is rough. If someone needs the cow then the cow needs the bald eagle. If someone needs the bald eagle then the bald eagle is young. If someone sees the bald eagle then they see the dog. If someone likes the dog and they are round then they are young. If someone is round and they need the bald eagle then they are rough.
The cow does not like the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle sees the dog.[(triple5)] The cow is round.[(triple6)] The cow likes the dog.[(triple7)] The cow sees the bald eagle.[(triple8)] The dog is nice.[(triple9)] The dog is round.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog needs the cow.[(triple12)] @1: The cow is young.[(((triple7 triple6) -> rule5))] The cow needs the bald eagle.[(((triple12) -> rule2))] The cow sees the dog.[(((triple8) -> rule4))] @2: The bald eagle is young.[(((((triple12) -> rule2)) -> rule3))] The cow is rough.[(((triple6 ((triple12) -> rule2)) -> rule6))]