The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse is young. All cold, nice things are green.
The mouse is not nice.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple2 triple4) -> rule1))] The mouse is nice.[(triple4)] The mouse is young.[(triple5)]