Erin is quiet. If someone is kind then they are cold. If someone is green then they are cold. All quiet people are not green. If Erin is green then Erin is cold. If someone is green then they are smart. If someone is white then they are smart. All furry people are not white. If someone is smart and not green then they are not white.
Erin is not smart.
@0: Erin is quiet.[(triple1)] @1: Erin is not green.[(((triple1) -> rule3))]