The mouse is big. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. If the mouse is round then the mouse is big. Blue, nice things are big. If the mouse is blue and the mouse is round then the mouse is green.
The mouse does not see the mouse.
@0: The mouse is big.[(triple1 OR ((triple5) -> rule1) OR ((triple2 triple4) -> rule2))] The mouse is blue.[(triple2)] The mouse is green.[(triple3 OR ((triple2 triple5) -> rule3))] The mouse is nice.[(triple4)] The mouse is round.[(triple5)]