The mouse is young. All young people are not big. If someone is rough then they are big. All rough people are green. Green, big people are young. If someone is nice then they are not young. Green, nice people are rough.
The mouse is not young.
@0: The mouse is young.[(triple1)] @1: The mouse is not big.[(((triple1) -> rule1))]