The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse is young. All green people are round.
The mouse chases the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4 OR ((triple2) -> rule1))] The mouse is young.[(triple5)]