Anne is not rough. Anne is young. Charlie is rough. Charlie is not round. Charlie is not smart. Gary is quiet. Gary is round. If Anne is rough and Anne is round then Anne is not blue. All quiet, blue things are young. If something is round then it is young. All round, white things are not smart. Blue, quiet things are smart. If something is quiet and not round then it is white. All quiet things are rough. If something is quiet then it is blue.
Gary is round.
@0: Anne is not rough.[(triple1)] Anne is young.[(triple2)] Charlie is not round.[(triple4)] Charlie is not smart.[(triple5)] Charlie is rough.[(triple3)] Gary is quiet.[(triple6)] Gary is round.[(triple7)] @1: Gary is blue.[(((triple6) -> rule8))] Gary is rough.[(((triple6) -> rule7))] Gary is young.[(((triple7) -> rule3) OR ((triple6 ((triple6) -> rule8)) -> rule2))] @2: Gary is smart.[(((((triple6) -> rule8) triple6) -> rule5))]