Charlie is kind. Charlie is quiet. Erin is white. If someone is round and not big then they are not quiet. If someone is quiet then they are white.
Erin is not white.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Erin is white.[(triple3)] @1: Charlie is white.[(((triple2) -> rule2))]