The mouse is blue. The mouse is cold. The mouse is green. The mouse is round. The mouse is young. If the mouse is green and the mouse is cold then the mouse is young.
The mouse is round.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple3 triple2) -> rule1))]