The bald eagle chases the rabbit. The cat visits the cow. The cow needs the rabbit. The rabbit is cold. If someone visits the rabbit then the rabbit is red. If someone is cold then they need the bald eagle. If someone is big then they visit the bald eagle. If someone needs the cat and the cat visits the cow then they are red. If someone chases the cow then the cow chases the bald eagle. If someone needs the cow then the cow visits the bald eagle.
The cow does not need the bald eagle.
@0: The bald eagle chases the rabbit.[(triple1)] The cat visits the cow.[(triple2)] The cow needs the rabbit.[(triple3)] The rabbit is cold.[(triple4)] @1: The rabbit needs the bald eagle.[(((triple4) -> rule2))]