Charlie is furry. Dave is not blue. Erin is cold. Gary is smart. If someone is kind and not big then they are not smart. If someone is white and kind then they are smart. Cold people are smart. If someone is smart and not furry then they are not white. If someone is smart then they are not white. White people are cold. Kind people are blue. If someone is cold and not white then they are not blue.
Erin is not kind.
@0: Charlie is furry.[(triple1)] Dave is not blue.[(triple2)] Erin is cold.[(triple3)] Gary is smart.[(triple4)] @1: Erin is smart.[(((triple3) -> rule3))] Gary is not white.[(((triple4) -> rule5))] @2: Erin is not white.[(((((triple3) -> rule3)) -> rule5))] @3: Erin is not blue.[(((triple3 ((((triple3) -> rule3)) -> rule5)) -> rule8))]