Charlie is not furry. Charlie is not green. Charlie is red. Charlie is round. Charlie is young. Dave is not green. Dave is red. Dave is not round. Dave is young. Erin is green. Erin is quiet. Erin is round. Erin is young. Gary is quiet. Gary is round. Gary is young. All green people are young. If someone is young then they are red. If someone is big then they are red. All round people are not big. If Gary is not green then Gary is quiet. Round people are not furry. If Dave is round then Dave is quiet. If someone is furry and not red then they are quiet.
Gary is round.
@0: Charlie is not furry.[(triple1 OR ((triple4) -> rule6))] Charlie is not green.[(triple2)] Charlie is red.[(triple3 OR ((triple5) -> rule2))] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Dave is not green.[(triple6)] Dave is not round.[(triple8)] Dave is red.[(triple7 OR ((triple9) -> rule2))] Dave is young.[(triple9)] Erin is green.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12)] Erin is young.[(triple13 OR ((triple10) -> rule1))] Gary is quiet.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Charlie is not big.[(((triple4) -> rule4))] Erin is not big.[(((triple12) -> rule4))] Erin is not furry.[(((triple12) -> rule6))] Erin is red.[(((triple13) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Gary is not big.[(((triple15) -> rule4))] Gary is not furry.[(((triple15) -> rule6))] Gary is red.[(((triple16) -> rule2))]