The bald eagle is cold. The bald eagle visits the cat. The cat chases the bald eagle. The cat sees the bald eagle. The cat sees the mouse. The cat visits the bald eagle. The mouse is round. If someone is round then they visit the cat. If someone visits the bald eagle and the bald eagle chases the mouse then the mouse is round. If someone visits the bald eagle and they chase the bald eagle then they see the mouse. If someone is big then they visit the cat. If someone is big and blue then they chase the mouse. If someone sees the cat then they are blue. If someone visits the bald eagle and the bald eagle is big then they chase the cat. If someone chases the cat then they see the bald eagle.
The cat visits the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat sees the mouse.[(triple5 OR ((triple6 triple3) -> rule3))] The cat visits the bald eagle.[(triple6)] The mouse is round.[(triple7)] @1: The mouse visits the cat.[(((triple7) -> rule1))]