Charlie is not green. Charlie is round. Charlie is smart. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. Fiona is not white. Fiona is not young. Gary is not green. If someone is round and not white then they are not quiet. White people are green. If Charlie is not smart then Charlie is round. If Fiona is green then Fiona is not round. If someone is red and not smart then they are young. If someone is green and not quiet then they are not young. If someone is round then they are red. Young, round people are red.
Gary is not red.
@0: Charlie is not green.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is green.[(triple4 OR ((triple8) -> rule2))] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple7) -> rule7) OR ((triple9 triple7) -> rule8))] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is not white.[(triple10)] Fiona is not young.[(triple11)] Gary is not green.[(triple12)] @1: Charlie is red.[(((triple2) -> rule7))]