Charlie is big. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is not red. Charlie is round. Charlie is smart. Erin is not blue. Erin is furry. Erin is not quiet. Erin is not round. Erin is smart. Gary is not blue. Gary is round. Harry is red. If Gary is furry then Gary is smart. All blue people are furry. Big people are smart. If someone is big and not blue then they are not quiet. If Erin is not furry then Erin is round. If Charlie is not furry then Charlie is red. All smart, quiet people are not red. If someone is quiet and not round then they are red.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple2) -> rule2))] Charlie is not red.[(triple5 OR ((triple7 triple4) -> rule7) OR ((((triple1) -> rule3) triple4) -> rule7))] Charlie is quiet.[(triple4)] Charlie is round.[(triple6)] Charlie is smart.[(triple7 OR ((triple1) -> rule3))] Erin is furry.[(triple9)] Erin is not blue.[(triple8)] Erin is not quiet.[(triple10)] Erin is not round.[(triple11)] Erin is smart.[(triple12)] Gary is not blue.[(triple13)] Gary is round.[(triple14)] Harry is red.[(triple15)]