The mouse is not blue. The mouse is not green. The mouse is kind. The mouse is nice. The mouse is rough. Kind, blue people are not green. Kind people are rough. Green people are rough.
The mouse eats the mouse.
@0: The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is not blue.[(triple1)] The mouse is not green.[(triple2)] The mouse is rough.[(triple5 OR ((triple3) -> rule2))]