The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. Blue people are red.
The mouse is blue.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is red.[(triple3 OR ((triple1) -> rule1))] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]