The mouse is kind. The mouse likes the tiger. The mouse needs the tiger. The tiger is big. The tiger is cold. The tiger likes the mouse. The tiger needs the mouse. If someone likes the mouse then the mouse needs the tiger. If someone likes the mouse then the mouse chases the tiger. If someone is rough and kind then they are big. If someone chases the tiger and they are cold then they chase the mouse. If the mouse is kind and the mouse needs the tiger then the mouse chases the tiger. If someone is big then they need the mouse. If someone likes the tiger and the tiger chases the mouse then the mouse needs the tiger. If someone is nice and they need the tiger then the tiger chases the mouse.
The tiger chases the tiger.
@0: The mouse is kind.[(triple1)] The mouse likes the tiger.[(triple2)] The mouse needs the tiger.[(triple3 OR ((triple6) -> rule1))] The tiger is big.[(triple4)] The tiger is cold.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger needs the mouse.[(triple7 OR ((triple4) -> rule6))] @1: The mouse chases the tiger.[(((triple6) -> rule2) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple6) -> rule1)) -> rule5))]