Erin is not cold. Erin is quiet. Gary is not furry. If someone is red then they are blue. All quiet people are blue. If someone is blue and round then they are cold. If someone is quiet and red then they are kind. Blue people are kind. If Gary is quiet then Gary is kind. If Gary is furry and Gary is red then Gary is blue. If someone is quiet and kind then they are not red.
Erin is red.
@0: Erin is not cold.[(triple1)] Erin is quiet.[(triple2)] Gary is not furry.[(triple3)] @1: Erin is blue.[(((triple2) -> rule2))] @2: Erin is kind.[(((((triple2) -> rule2)) -> rule5))] @3: Erin is not red.[(((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule8))]