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 is red.
@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)]