Charlie is white. Erin is white. Fiona is nice. Gary is round. If someone is round and not rough then they are big. If someone is round then they are big. If someone is young and not nice then they are white. If someone is big and not smart then they are white. If Gary is nice and Gary is not rough then Gary is young. Smart, young people are round. If Fiona is nice then Fiona is young. If Erin is round and Erin is nice then Erin is white.
Gary is not young.
@0: Charlie is white.[(triple1)] Erin is white.[(triple2)] Fiona is nice.[(triple3)] Gary is round.[(triple4)] @1: Fiona is young.[(((triple3) -> rule7))] Gary is big.[(((triple4) -> rule2))]