The lion chases the mouse. The lion eats the mouse. The lion is blue. The lion is cold. The lion is kind. The lion is red. The lion sees the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is red. The mouse sees the lion. If the mouse sees the lion and the lion chases the mouse then the mouse eats the lion. If something chases the mouse then it chases the lion.
The lion is green.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion sees the mouse.[(triple7)] The mouse chases the lion.[(triple8)] The mouse eats the lion.[(triple9 OR ((triple15 triple1) -> rule1))] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse is kind.[(triple13)] The mouse is red.[(triple14)] The mouse sees the lion.[(triple15)] @1: The lion chases the lion.[(((triple1) -> rule2))]