The mouse is not blue. The mouse is cold. The mouse is nice. The mouse is round. The mouse is young. If someone is blue and round then they are cold. All blue people are cold. Round people are cold. If someone is nice and not round then they are blue. If the mouse is cold then the mouse is nice. Nice, blue people are not young.
The mouse is round.
@0: The mouse is cold.[(triple2 OR ((triple4) -> rule3))] The mouse is nice.[(triple3 OR ((triple2) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] The mouse is not blue.[(triple1)] The mouse is round.[(triple4)] The mouse is young.[(triple5)]