The mouse is green. The mouse needs the rabbit. The mouse needs the tiger. The mouse visits the rabbit. The rabbit is round. The rabbit needs the tiger. The tiger chases the mouse. The tiger is big. The tiger needs the mouse. The tiger needs the rabbit. The tiger visits the mouse. The tiger visits the rabbit. If something needs the mouse and the mouse visits the rabbit then it is big. If something is young and it chases the rabbit then the rabbit visits the mouse. If something visits the mouse and the mouse visits the rabbit then the mouse chases the rabbit. If something chases the rabbit then it needs the mouse. If something is big and red then it chases the rabbit. If something needs the rabbit and it chases the rabbit then it is red.
The mouse chases the rabbit.
@0: The mouse is green.[(triple1)] The mouse needs the rabbit.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse visits the rabbit.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger is big.[(triple8 OR ((triple9 triple4) -> rule1))] The tiger needs the mouse.[(triple9)] The tiger needs the rabbit.[(triple10)] The tiger visits the mouse.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The mouse chases the rabbit.[(((triple11 triple4) -> rule3))] @2: The mouse is red.[(((triple2 ((triple11 triple4) -> rule3)) -> rule6))] The mouse needs the mouse.[(((((triple11 triple4) -> rule3)) -> rule4))] @3: The mouse is big.[(((((((triple11 triple4) -> rule3)) -> rule4) triple4) -> rule1))]