Charlie is not quiet. Charlie is red. Charlie is round. Charlie is not smart. Charlie is young. Erin is green. Erin is red. Erin is round. Gary is not furry. Gary is green. Gary is quiet. Gary is red. Gary is not round. Gary is not smart. Gary is young. If something is smart and young then it is green. If something is round and not smart then it is not green. If something is smart then it is round. If Erin is round and Erin is young then Erin is quiet. If something is smart and not round then it is furry. If something is smart then it is furry.
Erin is young.
@0: Charlie is not quiet.[(triple1)] Charlie is not smart.[(triple4)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple5)] Erin is green.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Gary is green.[(triple10)] Gary is not furry.[(triple9)] Gary is not round.[(triple13)] Gary is not smart.[(triple14)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is young.[(triple15)] @1: Charlie is not green.[(((triple3 triple4) -> rule2))]