The mouse is not blue. The mouse is cold. The mouse is green. All blue things are round. All blue things are round. If something is big then it is blue. All round things are not blue. All green things are not big. Round things are big. If something is green and blue then it is big. If the mouse is not green then the mouse is round.
The mouse needs the mouse.
@0: The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is not blue.[(triple1)] @1: The mouse is not big.[(((triple3) -> rule5))]