The mouse is cold. The mouse is green. The mouse is not rough. The mouse is round. The mouse is young. All young people are cold. If the mouse is not cold then the mouse is rough. If someone is green and not cold then they are rough.
The mouse is not rough.
@0: The mouse is cold.[(triple1 OR ((triple5) -> rule1))] The mouse is green.[(triple2)] The mouse is not rough.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)]