The bald eagle chases the rabbit. The cat chases the cow. The cat needs the rabbit. The cow is cold. The cow sees the bald eagle. The rabbit is nice. The rabbit needs the cow. If something is young and it sees the cow then the cow needs the rabbit. If something chases the bald eagle then it is young. If something needs the rabbit then the rabbit sees the cow.
The cow is not cold.
@0: The bald eagle chases the rabbit.[(triple1)] The cat chases the cow.[(triple2)] The cat needs the rabbit.[(triple3)] The cow is cold.[(triple4)] The cow sees the bald eagle.[(triple5)] The rabbit is nice.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The rabbit sees the cow.[(((triple3) -> rule3))]