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