The mouse is kind. The mouse is rough. The mouse is round. If the mouse is young and the mouse is not rough then the mouse is round. If the mouse is cold then the mouse is round. Young things are not cold. Round things are kind. Rough things are kind. All kind things are young.
The mouse is cold.
@0: The mouse is kind.[(triple1 OR ((triple2) -> rule5) OR ((triple3) -> rule4))] The mouse is rough.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is young.[(((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] @2: The mouse is not cold.[(((((triple1) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3))]