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