Erin is not rough. Fiona is blue. Harry is not furry. If Erin is blue and Erin is not rough then Erin is round. All blue people are not smart. All white people are quiet. White people are quiet. All rough people are white. All round, smart people are white. All smart, blue people are white. All smart, blue people are white.
Harry is round.
@0: Erin is not rough.[(triple1)] Fiona is blue.[(triple2)] Harry is not furry.[(triple3)] @1: Fiona is not smart.[(((triple2) -> rule2))]