Erin is young. If Erin is young and Erin is kind then Erin is not nice. All nice, green people are young. All young people are kind. If someone is kind and not nice then they are not furry. All furry, kind people are smart. If someone is furry and not nice then they are not smart.
Erin is kind.
@0: Erin is young.[(triple1)] @1: Erin is kind.[(((triple1) -> rule3))] @2: Erin is not nice.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Erin is not furry.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule4))]