The mouse is not blue. The mouse is green. The mouse is kind. The mouse is nice. The mouse is not round. All blue things are round. All kind things are not round. Blue things are round. Blue, kind things are nice. If the mouse is green and the mouse is blue then the mouse is not round. All kind, nice things are green.
The mouse likes the mouse.
@0: The mouse is green.[(triple2 OR ((triple3 triple4) -> rule6))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is not blue.[(triple1)] The mouse is not round.[(triple5 OR ((triple3) -> rule2))]