The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle needs the rabbit. The bear chases the bald eagle. The bear chases the rabbit. The dog is cold. The rabbit visits the bald eagle. If something chases the bear and it is cold then the bear is blue. If the rabbit is green then the rabbit is cold. If the rabbit visits the bald eagle then the bald eagle visits the bear. If something chases the dog and it visits the bald eagle then it visits the rabbit. If something visits the bear then it is red. If something is cold and it needs the bear then it chases the bald eagle. If something visits the rabbit and it visits the bald eagle then it visits the bear. If the rabbit is young then the rabbit needs the bear.
The bald eagle does not visit the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the rabbit.[(triple5)] The dog is cold.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle visits the bear.[(((triple7) -> rule3))] @2: The bald eagle is red.[(((((triple7) -> rule3)) -> rule5))]