The mouse sees the tiger. The tiger chases the mouse. If someone is nice then they do not see the mouse. If someone sees the tiger then the tiger is blue. If someone is blue then they are round.
The tiger is big.
@0: The mouse sees the tiger.[(triple1)] The tiger chases the mouse.[(triple2)] @1: The tiger is blue.[(((triple1) -> rule2))] @2: The tiger is round.[(((((triple1) -> rule2)) -> rule3))]