Erin is not cold. Erin is white. Gary is not kind. Gary is nice. Harry is kind. Harry is rough. Harry is white. Smart things are not white. All smart things are rough. White things are not smart.
Harry is smart.
@0: Erin is not cold.[(triple1)] Erin is white.[(triple2)] Gary is nice.[(triple4)] Gary is not kind.[(triple3)] Harry is kind.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Erin is not smart.[(((triple2) -> rule3))] Harry is not smart.[(((triple7) -> rule3))]