Erin is furry. Erin is nice. Erin is not white. Gary is big. Gary is not cold. Harry is big. Harry is cold. If someone is cold then they are red.
Gary is not cold.
@0: Erin is furry.[(triple1)] Erin is nice.[(triple2)] Erin is not white.[(triple3)] Gary is big.[(triple4)] Gary is not cold.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] @1: Harry is red.[(((triple7) -> rule1))]