The mouse is not blue. The mouse is not cold. The mouse is green. The mouse is red. The mouse is rough. Cold, green people are red. Blue, cold people are red. If someone is green and not cold then they are red. Green, cold people are not blue. All cold people are green. All cold, rough people are not green. All cold people are rough. All green people are rough.
The mouse does not visit the mouse.
@0: The mouse is green.[(triple3)] The mouse is not blue.[(triple1)] The mouse is not cold.[(triple2)] The mouse is red.[(triple4 OR ((triple3 triple2) -> rule3))] The mouse is rough.[(triple5 OR ((triple3) -> rule8))]