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