The mouse is blue. The mouse is cold. The mouse is red. The mouse is round. The mouse is young. If something is young then it is red. If something is cold and blue then it is young.
The mouse is not round.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is red.[(triple3 OR ((triple5) -> rule1) OR ((((triple2 triple1) -> rule2)) -> rule1))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple2 triple1) -> rule2))]