Dave is smart. Erin is smart. Gary is round. Harry is quiet. All smart people are white. Smart, kind people are round.
Erin is not white.
@0: Dave is smart.[(triple1)] Erin is smart.[(triple2)] Gary is round.[(triple3)] Harry is quiet.[(triple4)] @1: Dave is white.[(((triple1) -> rule1))] Erin is white.[(((triple2) -> rule1))]