The mouse is round. The rabbit sees the tiger. The squirrel is young. The tiger sees the squirrel. If something is young then it sees the tiger. If something needs the squirrel then it likes the rabbit. If something likes the mouse then it is green.
The mouse does not need the squirrel.
@0: The mouse is round.[(triple1)] The rabbit sees the tiger.[(triple2)] The squirrel is young.[(triple3)] The tiger sees the squirrel.[(triple4)] @1: The squirrel sees the tiger.[(((triple3) -> rule1))]