The mouse is not blue. The mouse is nice. The mouse is round. Round things are nice. Round, red things are not nice. If something is round and not blue then it is nice. If the mouse is green and the mouse is nice then the mouse is not red. All red things are round. If something is red and green then it is round. Round things are not red. If the mouse is red then the mouse is nice.
The mouse is not round.
@0: The mouse is nice.[(triple2 OR ((triple3) -> rule1) OR ((triple3 triple1) -> rule3))] The mouse is not blue.[(triple1)] The mouse is round.[(triple3)] @1: The mouse is not red.[(((triple3) -> rule7))]