The bald eagle chases the cat. The cat is young. The dog is not red. The rabbit visits the bald eagle. If the dog chases the rabbit and the dog does not visit the bald eagle then the dog needs the bald eagle. If someone chases the cat then the cat needs the bald eagle. If someone chases the cat then the cat visits the rabbit. If the bald eagle chases the cat and the bald eagle is not young then the bald eagle needs the rabbit. If someone is red and big then they visit the dog. If someone needs the bald eagle then they are round. If someone is young and round then they need the cat. If the cat is blue and the cat does not visit the rabbit then the cat visits the dog.
The cat is not young.
@0: The bald eagle chases the cat.[(triple1)] The cat is young.[(triple2)] The dog is not red.[(triple3)] The rabbit visits the bald eagle.[(triple4)] @1: The cat needs the bald eagle.[(((triple1) -> rule2))] The cat visits the rabbit.[(((triple1) -> rule3))] @2: The cat is round.[(((((triple1) -> rule2)) -> rule6))] @3: The cat needs the cat.[(((triple2 ((((triple1) -> rule2)) -> rule6)) -> rule7))]