Charlie is not smart. Erin is white. Fiona is smart. Gary is rough. White people are kind. If someone is quiet and not nice then they are white. All kind, white people are not rough. If Fiona is quiet and Fiona is not rough then Fiona is smart. If someone is blue and quiet then they are smart. If someone is white and not kind then they are blue. If someone is smart and rough then they are blue. If someone is smart and not quiet then they are blue.
Gary is not rough.
@0: Charlie is not smart.[(triple1)] Erin is white.[(triple2)] Fiona is smart.[(triple3)] Gary is rough.[(triple4)] @1: Erin is kind.[(((triple2) -> rule1))] @2: Erin is not rough.[(((((triple2) -> rule1) triple2) -> rule3))]