The bald eagle chases the cat. The bald eagle is kind. The bald eagle is young. The bald eagle visits the cat. The cat chases the squirrel. The cat is green. The cat sees the squirrel. The cat visits the bald eagle. The cat visits the mouse. The mouse chases the cat. The mouse is red. The mouse visits the squirrel. The squirrel is red. The squirrel is young. The squirrel visits the bald eagle. The squirrel visits the cat. If someone chases the squirrel then they chase the mouse. If someone sees the cat then the cat visits the mouse. If someone visits the bald eagle and they are young then the bald eagle chases the mouse.
The cat chases the mouse.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat chases the squirrel.[(triple5)] The cat is green.[(triple6)] The cat sees the squirrel.[(triple7)] The cat visits the bald eagle.[(triple8)] The cat visits the mouse.[(triple9)] The mouse chases the cat.[(triple10)] The mouse is red.[(triple11)] The mouse visits the squirrel.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The bald eagle chases the mouse.[(((triple15 triple14) -> rule3))] The cat chases the mouse.[(((triple5) -> rule1))]