Erin is smart. Fiona is not furry. Fiona is quiet. Fiona is round. Fiona is young. Gary is white. Gary is young. All quiet, blue people are white. If someone is round and not quiet then they are white. If someone is blue then they are white. All smart people are furry. All white people are not blue. If Erin is blue then Erin is round.
Erin is not white.
@0: Erin is smart.[(triple1)] Fiona is not furry.[(triple2)] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Fiona is young.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Erin is furry.[(((triple1) -> rule4))] Gary is not blue.[(((triple6) -> rule5))]