Erin is green. White things are not green. If something is cold and furry then it is green. All nice things are not white. Green things are not white. If something is red and not nice then it is not furry. If something is red then it is furry. Rough, green things are not red. If something is cold then it is rough.
Erin is nice.
@0: Erin is green.[(triple1)] @1: Erin is not white.[(((triple1) -> rule4))]