The mouse is cold. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. If the mouse is cold and the mouse is rough then the mouse is nice. All red, rough people are young. If someone is young then they are cold.
The mouse does not need the mouse.
@0: The mouse is cold.[(triple1 OR ((triple5) -> rule3) OR ((((triple3 triple4) -> rule2)) -> rule3))] The mouse is nice.[(triple2 OR ((triple1 triple4) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule1) OR ((((((triple3 triple4) -> rule2)) -> rule3) triple4) -> rule1))] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5 OR ((triple3 triple4) -> rule2))]