Charlie is not kind. Charlie is round. Charlie is smart. Erin is kind. Gary is kind. Gary is not rough. Harry is white. If Erin is round and Erin is kind then Erin is white. If someone is white then they are not kind.
Erin is not white.
@0: Charlie is not kind.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is kind.[(triple4)] Gary is kind.[(triple5)] Gary is not rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is not kind.[(((triple7) -> rule2))]