The mouse is young. The mouse likes the tiger. The mouse needs the tiger. The tiger chases the mouse. The tiger is blue. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the mouse. The tiger needs the mouse. If someone is young and they like the tiger then they need the tiger. If the mouse likes the tiger and the mouse chases the tiger then the mouse needs the tiger. If someone is young then they like the tiger.
The tiger likes the tiger.
@0: The mouse is young.[(triple1)] The mouse likes the tiger.[(triple2 OR ((triple1) -> rule3))] The mouse needs the tiger.[(triple3 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))] The tiger chases the mouse.[(triple4)] The tiger is blue.[(triple5)] The tiger is nice.[(triple6)] The tiger is rough.[(triple7)] The tiger is young.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The tiger likes the tiger.[(((triple8) -> rule3))] @2: The tiger needs the tiger.[(((triple8 ((triple8) -> rule3)) -> rule1))]