Charlie is white. Erin is not white. If someone is smart then they are not white. If someone is young and not rough then they are not white. If someone is young and not rough then they are red. If Erin is not rough and Erin is not green then Erin is not smart. If Erin is not white then Erin is not red. If someone is green and red then they are furry. If someone is red and not smart then they are not furry. If someone is green and not young then they are furry.
Charlie is not furry.
@0: Charlie is white.[(triple1)] Erin is not white.[(triple2)] @1: Erin is not red.[(((triple2) -> rule5))]