The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. The mouse is young. If someone is cold and young then they are rough. Red people are rough. Red people are cold. Cold people are blue. If the mouse is not blue then the mouse is not rough. If the mouse is cold then the mouse is rough.
The mouse is red.
@0: The mouse is blue.[(triple1 OR ((triple2) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] The mouse is cold.[(triple2 OR ((triple3) -> rule3))] The mouse is red.[(triple3)] The mouse is rough.[(triple4 OR ((triple2) -> rule6) OR ((triple3) -> rule2) OR ((triple2 triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule3) triple5) -> rule1))] The mouse is young.[(triple5)]