Charlie is red. Charlie is not round. Dave is red. Dave is round. Harry is not big. Harry is white. Harry is not young. If something is white and not young then it is round.
Dave is white.
@0: Charlie is not round.[(triple2)] Charlie is red.[(triple1)] Dave is red.[(triple3)] Dave is round.[(triple4)] Harry is not big.[(triple5)] Harry is not young.[(triple7)] Harry is white.[(triple6)] @1: Harry is round.[(((triple6 triple7) -> rule1))]