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