Dave is not young. Erin is quiet. Gary is kind. Harry is not white. If Erin is kind then Erin is white. All young, round things are not white. If Erin is smart then Erin is not blue. All kind things are round. If something is young then it is quiet. White, quiet things are kind.
Erin is not round.
@0: Dave is not young.[(triple1)] Erin is quiet.[(triple2)] Gary is kind.[(triple3)] Harry is not white.[(triple4)] @1: Gary is round.[(((triple3) -> rule4))]