Erin is green. Fiona is furry. Fiona is round. Rough people are not round. If someone is smart and not blue then they are green. If someone is round and not blue then they are not white. If someone is round then they are white. All blue, smart people are not rough. All round, rough people are furry. Rough people are furry. If Erin is smart and Erin is not blue then Erin is not furry.
Fiona is not round.
@0: Erin is green.[(triple1)] Fiona is furry.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is white.[(((triple3) -> rule4))]