The lion chases the mouse. The lion eats the mouse. The lion is nice. The lion visits the mouse. The lion visits the tiger. The mouse chases the lion. The mouse is kind. The mouse is nice. The mouse is young. The tiger chases the mouse. The tiger eats the mouse. The tiger is red. The tiger is young. The tiger visits the lion. The tiger visits the mouse. If someone eats the tiger then the tiger eats the lion. If the tiger chases the lion then the tiger visits the mouse. If someone eats the lion then they chase the tiger. If someone eats the mouse then the mouse is blue. If someone chases the mouse then the mouse visits the tiger. If someone visits the tiger and they eat the lion then they chase the lion. If someone is young and they chase the lion then they eat the tiger. If someone visits the lion then the lion visits the mouse.
The mouse is kind.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is nice.[(triple3)] The lion visits the mouse.[(triple4 OR ((triple14) -> rule8))] The lion visits the tiger.[(triple5)] The mouse chases the lion.[(triple6)] The mouse is kind.[(triple7)] The mouse is nice.[(triple8)] The mouse is young.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger visits the lion.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse eats the tiger.[(((triple9 triple6) -> rule7))] The mouse is blue.[(((triple11) -> rule4) OR ((triple2) -> rule4))] The mouse visits the tiger.[(((triple1) -> rule5) OR ((triple10) -> rule5))] @2: The tiger eats the lion.[(((((triple9 triple6) -> rule7)) -> rule1))] @3: The tiger chases the tiger.[(((((((triple9 triple6) -> rule7)) -> rule1)) -> rule3))]