The lion chases the mouse. The lion eats the mouse. The lion is green. The lion is kind. The lion sees the mouse. The mouse eats the squirrel. The mouse is big. The mouse is kind. The mouse sees the squirrel. The squirrel chases the lion. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. If the lion is nice then the lion is green. If someone eats the mouse then the mouse chases the squirrel. If someone is big then they chase the mouse.
The squirrel eats the mouse.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion sees the mouse.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is big.[(triple7)] The mouse is kind.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14)] The squirrel is kind.[(triple15)] The squirrel is nice.[(triple16)] @1: The mouse chases the mouse.[(((triple7) -> rule3))] The mouse chases the squirrel.[(((triple12) -> rule2) OR ((triple2) -> rule2))]