Charlie is nice. Fiona is young. Gary is round. Harry is round. If someone is green and not round then they are young. Kind people are not young. All round people are not nice. If someone is quiet then they are nice. All smart people are quiet. All round, smart people are not quiet. If Fiona is nice then Fiona is young. If someone is nice and not green then they are not smart.
Charlie is not young.
@0: Charlie is nice.[(triple1)] Fiona is young.[(triple2)] Gary is round.[(triple3)] Harry is round.[(triple4)] @1: Gary is not nice.[(((triple3) -> rule3))] Harry is not nice.[(((triple4) -> rule3))]