The mouse is not rough. If someone is cold and young then they are big. All cold people are not big. If someone is red and rough then they are big. If the mouse is not rough then the mouse is cold. All red people are cold. All red people are cold. If someone is young and not rough then they are not red. All rough people are young.
The mouse is not big.
@0: The mouse is not rough.[(triple1)] @1: The mouse is cold.[(((triple1) -> rule4))] @2: The mouse is not big.[(((((triple1) -> rule4)) -> rule2))]