Dave is green. Erin is kind. Gary is cold. Harry is cold. If Gary is kind and Gary is cold then Gary is green. Young, kind people are not cold. Cold people are green. If someone is quiet and cold then they are smart. If someone is kind then they are not young. Cold, green people are not white.
Erin is not smart.
@0: Dave is green.[(triple1)] Erin is kind.[(triple2)] Gary is cold.[(triple3)] Harry is cold.[(triple4)] @1: Erin is not young.[(((triple2) -> rule5))] Gary is green.[(((triple3) -> rule3))] Harry is green.[(((triple4) -> rule3))] @2: Gary is not white.[(((triple3 ((triple3) -> rule3)) -> rule6))] Harry is not white.[(((triple4 ((triple4) -> rule3)) -> rule6))]