The mouse is big. The mouse is blue. The mouse is cold. The mouse is red. The mouse is young. All cold people are young.
The mouse is not blue.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is red.[(triple4)] The mouse is young.[(triple5 OR ((triple3) -> rule1))]