The mouse is kind. The mouse is not red. The mouse is rough. The mouse is round. The mouse is young. If the mouse is red and the mouse is not round then the mouse is kind. If the mouse is rough then the mouse is kind. Kind things are young. If something is red and rough then it is not young. If something is round then it is young. All round, red things are young.
The mouse chases the mouse.
@0: The mouse is kind.[(triple1 OR ((triple3) -> rule2))] The mouse is not red.[(triple2)] The mouse is rough.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1) -> rule3) OR ((triple4) -> rule5) OR ((((triple3) -> rule2)) -> rule3))]