Charlie is green. Charlie is nice. Charlie is not round. Charlie is smart. Charlie is not young. Erin is round. Gary is young. All round people are not nice. If someone is nice and not smart then they are not round.
Charlie is furry.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is not round.[(triple3)] Charlie is not young.[(triple5)] Charlie is smart.[(triple4)] Erin is round.[(triple6)] Gary is young.[(triple7)] @1: Erin is not nice.[(((triple6) -> rule1))]