Bob is round. Charlie is not big. Erin is kind. Gary is big. If Erin is round then Erin is quiet. Round things are not kind. If something is blue and not green then it is not big.
Erin is kind.
@0: Bob is round.[(triple1)] Charlie is not big.[(triple2)] Erin is kind.[(triple3)] Gary is big.[(triple4)] @1: Bob is not kind.[(((triple1) -> rule2))]