The mouse is big. The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. Round things are rough. Rough things are blue. If the mouse is round and the mouse is not rough then the mouse is blue. If the mouse is not round then the mouse is blue. If something is round and not blue then it is nice. If something is blue and not big then it is nice.
The mouse likes the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The mouse is nice.[(triple3)] The mouse is rough.[(triple4 OR ((triple5) -> rule1))] The mouse is round.[(triple5)]