The bald eagle needs the lion. The bald eagle needs the mouse. The cat is red. The lion chases the cat. The lion is red. The mouse is nice. The mouse visits the lion. If someone visits the cat then the cat chases the mouse. If someone visits the cat and they visit the bald eagle then they chase the mouse. If someone needs the lion then the lion visits the cat. If someone visits the mouse then the mouse chases the lion. If the cat chases the mouse then the cat visits the bald eagle. If someone chases the cat then they are cold. If someone chases the cat and the cat is cold then the cat visits the lion. If the mouse chases the bald eagle and the mouse visits the bald eagle then the mouse needs the bald eagle.
The cat visits the bald eagle.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle needs the mouse.[(triple2)] The cat is red.[(triple3)] The lion chases the cat.[(triple4)] The lion is red.[(triple5)] The mouse is nice.[(triple6)] The mouse visits the lion.[(triple7)] @1: The lion is cold.[(((triple4) -> rule6))] The lion visits the cat.[(((triple1) -> rule3))] @2: The cat chases the mouse.[(((((triple1) -> rule3)) -> rule1))] @3: The cat visits the bald eagle.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]