Anne is quiet. Anne is not round. Anne is not smart. Charlie is nice. Charlie is not rough. Gary is green. Gary is smart. If something is green then it is round. Smart, green things are round. All smart things are round.
Anne is not quiet.
@0: Anne is not round.[(triple2)] Anne is not smart.[(triple3)] Anne is quiet.[(triple1)] Charlie is nice.[(triple4)] Charlie is not rough.[(triple5)] Gary is green.[(triple6)] Gary is smart.[(triple7)] @1: Gary is round.[(((triple6) -> rule1) OR ((triple7) -> rule3) OR ((triple7 triple6) -> rule2))]