Bob is big. Bob is round. Charlie is white. Erin is big. Harry is big. Harry is green. Harry is quiet. If Erin is young then Erin is round.
Erin is not round.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Charlie is white.[(triple3)] Erin is big.[(triple4)] Harry is big.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)]