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