Bob is not quiet. Charlie is round. Gary is round. Harry is green. Red things are quiet. All round things are big. If something is round then it is not red.
Harry is not green.
@0: Bob is not quiet.[(triple1)] Charlie is round.[(triple2)] Gary is round.[(triple3)] Harry is green.[(triple4)] @1: Charlie is big.[(((triple2) -> rule2))] Charlie is not red.[(((triple2) -> rule3))] Gary is big.[(((triple3) -> rule2))] Gary is not red.[(((triple3) -> rule3))]