The mouse is cold. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. Rough things are red.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3 OR ((triple4) -> rule1))] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]