The mouse is not blue. The mouse is cold. The mouse is green. The mouse is rough. The mouse is round. Green things are rough. All blue things are cold. If the mouse is cold then the mouse is round.
The mouse is cold.
@0: The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is not blue.[(triple1)] The mouse is rough.[(triple4 OR ((triple3) -> rule1))] The mouse is round.[(triple5 OR ((triple2) -> rule3))]