The bald eagle is cold. The bald eagle likes the cat. The bald eagle visits the cow. The cat is rough. The cat needs the rabbit. The cow likes the rabbit. The cow needs the bald eagle. The rabbit is young. The rabbit likes the cat. The rabbit visits the bald eagle. If someone likes the cow then the cow is young. If someone likes the cat and they are young then the cat is nice. If someone is nice then they visit the cow.
The cat does not visit the cow.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle visits the cow.[(triple3)] The cat is rough.[(triple4)] The cat needs the rabbit.[(triple5)] The cow likes the rabbit.[(triple6)] The cow needs the bald eagle.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit visits the bald eagle.[(triple10)] @1: The cat is nice.[(((triple9 triple8) -> rule2))] @2: The cat visits the cow.[(((((triple9 triple8) -> rule2)) -> rule3))]