The mouse is nice. The mouse is rough. The mouse is not young. If something is nice and rough then it is not round. If something is red then it is nice. Nice, round things are red.
The mouse likes the mouse.
@0: The mouse is nice.[(triple1)] The mouse is not young.[(triple3)] The mouse is rough.[(triple2)] @1: The mouse is not round.[(((triple1 triple2) -> rule1))]