The mouse is blue. The mouse is cold. The mouse is green. The mouse is not red. The mouse is not rough. Blue people are not rough. If the mouse is rough and the mouse is not cold then the mouse is not blue.
The mouse does not chase the mouse.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is not red.[(triple4)] The mouse is not rough.[(triple5 OR ((triple1) -> rule1))]