The mouse is big. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. If something is round and rough then it is red.
The mouse does not see the mouse.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3 OR ((triple5 triple4) -> rule1))] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]