The mouse is blue. The mouse is green. The mouse is kind. If the mouse is young and the mouse is blue then the mouse is cold. If someone is cold then they are young. If the mouse is cold and the mouse is blue then the mouse is young. If someone is kind then they are green. Cold people are kind. Young people are cold.
The mouse is green.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2 OR ((triple3) -> rule4))] The mouse is kind.[(triple3)]