The lion chases the mouse. The lion chases the tiger. The lion is cold. The lion visits the mouse. The mouse chases the lion. The mouse is cold. The mouse needs the lion. The mouse needs the tiger. The mouse visits the tiger. The squirrel needs the lion. The squirrel needs the mouse. The tiger chases the squirrel. The tiger is kind. The tiger needs the mouse. The tiger needs the squirrel. The tiger visits the lion. If the tiger is cold then the tiger is round. If someone visits the lion and they need the squirrel then they chase the tiger. If someone visits the tiger and they are red then the tiger needs the mouse.
The mouse does not visit the tiger.
@0: The lion chases the mouse.[(triple1)] The lion chases the tiger.[(triple2)] The lion is cold.[(triple3)] The lion visits the mouse.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is cold.[(triple6)] The mouse needs the lion.[(triple7)] The mouse needs the tiger.[(triple8)] The mouse visits the tiger.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel needs the mouse.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger is kind.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger needs the squirrel.[(triple15)] The tiger visits the lion.[(triple16)] @1: The tiger chases the tiger.[(((triple16 triple15) -> rule2))]