Dave is white. Erin is furry. Gary is not blue. Harry is young. If someone is red then they are big. If Gary is red then Gary is young. All big, young people are blue. If someone is white and furry then they are not blue. If someone is blue and furry then they are cold. Big people are not cold. All furry people are red. If someone is cold and not white then they are furry.
Erin is not furry.
@0: Dave is white.[(triple1)] Erin is furry.[(triple2)] Gary is not blue.[(triple3)] Harry is young.[(triple4)] @1: Erin is red.[(((triple2) -> rule7))] @2: Erin is big.[(((((triple2) -> rule7)) -> rule1))] @3: Erin is not cold.[(((((((triple2) -> rule7)) -> rule1)) -> rule6))]