The mouse is young. If the mouse is rough then the mouse is not red. Green things are nice. If something is young then it is not red. If something is nice and green then it is not red. All nice things are green. If the mouse is young then the mouse is green. All green, nice things are not rough. If the mouse is red then the mouse is young.
The mouse is not nice.
@0: The mouse is young.[(triple1)] @1: The mouse is green.[(((triple1) -> rule6))] The mouse is not red.[(((triple1) -> rule3) OR ((((((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule4))] @2: The mouse is nice.[(((((triple1) -> rule6)) -> rule2))] @3: The mouse is not rough.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule7))]