The bald eagle chases the mouse. The bald eagle is rough. The bald eagle visits the mouse. The mouse is kind. The mouse sees the tiger. The mouse visits the tiger. The rabbit chases the mouse. The rabbit is cold. The rabbit visits the tiger. The tiger visits the rabbit. If someone visits the bald eagle then the bald eagle is kind. If someone visits the mouse and the mouse is kind then they are nice. If someone chases the tiger and the tiger is kind then they are cold.
The tiger is not cold.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse is kind.[(triple4)] The mouse sees the tiger.[(triple5)] The mouse visits the tiger.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit is cold.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The bald eagle is nice.[(((triple3 triple4) -> rule2))]