The bald eagle chases the tiger. The bald eagle visits the tiger. The mouse chases the tiger. The mouse is cold. The mouse needs the tiger. The mouse visits the tiger. The tiger is green. If someone visits the bald eagle and they chase the mouse then they chase the bald eagle. If the tiger is round and the tiger visits the bald eagle then the tiger chases the mouse. If someone is green then they visit the tiger. If someone visits the tiger then they are kind. If someone needs the mouse then the mouse needs the bald eagle. If someone chases the tiger then the tiger visits the mouse.
The bald eagle visits the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle visits the tiger.[(triple2)] The mouse chases the tiger.[(triple3)] The mouse is cold.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger is green.[(triple7)] @1: The bald eagle is kind.[(((triple2) -> rule4))] The mouse is kind.[(((triple6) -> rule4))] The tiger visits the mouse.[(((triple1) -> rule6) OR ((triple3) -> rule6))] The tiger visits the tiger.[(((triple7) -> rule3))] @2: The tiger is kind.[(((((triple7) -> rule3)) -> rule4))]