The mouse is round. Blue, cold people are round. If the mouse is young then the mouse is blue. If the mouse is round then the mouse is young.
The mouse is not round.
@0: The mouse is round.[(triple1)] @1: The mouse is young.[(((triple1) -> rule3))] @2: The mouse is blue.[(((((triple1) -> rule3)) -> rule2))]