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