The mouse is blue. The mouse is kind. The mouse is red. The mouse is rough. The mouse is round. Blue, round things are rough. If the mouse is round then the mouse is red.
The mouse is not round.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is red.[(triple3 OR ((triple5) -> rule2))] The mouse is rough.[(triple4 OR ((triple1 triple5) -> rule1))] The mouse is round.[(triple5)]