The mouse chases the tiger. The mouse needs the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is rough. The tiger needs the mouse. The tiger visits the mouse. If someone visits the mouse then the mouse visits the tiger. If the tiger is kind then the tiger needs the mouse. If the tiger is rough then the tiger visits the mouse. If someone visits the mouse then they are green. If someone is kind then they need the mouse. If the mouse needs the tiger then the tiger chases the mouse. If someone needs the mouse then the mouse is green. If someone visits the tiger and they chase the mouse then the tiger is young.
The tiger is not big.
@0: The mouse chases the tiger.[(triple1)] The mouse needs the tiger.[(triple2)] The mouse visits the tiger.[(triple3 OR ((triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] The tiger chases the mouse.[(triple4 OR ((triple2) -> rule6))] The tiger is rough.[(triple5)] The tiger needs the mouse.[(triple6)] The tiger visits the mouse.[(triple7 OR ((triple5) -> rule3))] @1: The mouse is green.[(((triple6) -> rule7))] The tiger is green.[(((triple7) -> rule4) OR ((((triple5) -> rule3)) -> rule4))]