The mouse is red. If someone is red and blue then they are green. If someone is cold and blue then they are red. All green people are cold. If someone is red then they are blue. Red, blue people are cold. Cold people are red.
The mouse is red.
@0: The mouse is red.[(triple1)] @1: The mouse is blue.[(((triple1) -> rule4))] @2: The mouse is cold.[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))] The mouse is green.[(((triple1 ((triple1) -> rule4)) -> rule1))]