Erin is blue. Erin is white. Fiona is not blue. Fiona is green. Fiona is not quiet. Fiona is smart. Fiona is young. If something is green then it is white. If something is young and not quiet then it is white. If something is round and blue then it is not smart. If Fiona is smart and Fiona is not quiet then Fiona is round. All quiet things are blue. If Erin is round then Erin is not green.
Erin is not smart.
@0: Erin is blue.[(triple1)] Erin is white.[(triple2)] Fiona is green.[(triple4)] Fiona is not blue.[(triple3)] Fiona is not quiet.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is round.[(((triple6 triple5) -> rule4))] Fiona is white.[(((triple4) -> rule1) OR ((triple7 triple5) -> rule2))]