Bob is not quiet. Charlie is white. Erin is big. Gary is not kind. Quiet, round people are big. If someone is white and round then they are big. White people are round.
Charlie is not big.
@0: Bob is not quiet.[(triple1)] Charlie is white.[(triple2)] Erin is big.[(triple3)] Gary is not kind.[(triple4)] @1: Charlie is round.[(((triple2) -> rule3))] @2: Charlie is big.[(((triple2 ((triple2) -> rule3)) -> rule2))]