The mouse is not big. The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. If someone is rough and not big then they are nice.
The mouse needs the mouse.
@0: The mouse is blue.[(triple2)] The mouse is nice.[(triple3 OR ((triple4 triple1) -> rule1))] The mouse is not big.[(triple1)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]