The bald eagle is round. The bald eagle likes the mouse. The bald eagle visits the tiger. The lion is round. The lion likes the mouse. The lion visits the mouse. The mouse is nice. The mouse is round. The tiger is nice. The tiger visits the mouse. If something likes the mouse then the mouse sees the lion. If the mouse is cold and the mouse visits the tiger then the tiger sees the mouse.
The lion likes the bald eagle.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the tiger.[(triple3)] The lion is round.[(triple4)] The lion likes the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse is nice.[(triple7)] The mouse is round.[(triple8)] The tiger is nice.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse sees the lion.[(((triple2) -> rule1) OR ((triple5) -> rule1))]