The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is nice. The bald eagle needs the mouse. The bald eagle needs the tiger. The bald eagle visits the squirrel. The mouse needs the bald eagle. The mouse visits the bald eagle. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is cold. The squirrel is kind. The squirrel needs the bald eagle. The squirrel needs the mouse. The tiger is red. The tiger visits the mouse. If someone needs the tiger then they are kind. If someone eats the bald eagle and the bald eagle is red then the bald eagle visits the tiger.
The mouse is not kind.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The mouse needs the bald eagle.[(triple7)] The mouse visits the bald eagle.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the mouse.[(triple14)] The tiger is red.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The bald eagle is kind.[(((triple5) -> rule1))]