The lion eats the mouse. The lion is blue. The lion is cold. The lion sees the mouse. The mouse chases the lion. The mouse is blue. The mouse is round. If someone eats the mouse then they see the mouse. If someone eats the lion then the lion chases the mouse.
The mouse does not see the mouse.
@0: The lion eats the mouse.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion sees the mouse.[(triple4 OR ((triple1) -> rule1))] The mouse chases the lion.[(triple5)] The mouse is blue.[(triple6)] The mouse is round.[(triple7)]