Erin is rough. Fiona is green. Fiona is quiet. Fiona is red. Fiona is not rough. Fiona is white. Fiona is young. All white, rough things are young. Rough, green things are not young. If something is white and not green then it is rough. All white, green things are quiet. If something is green then it is quiet. If Erin is green and Erin is not white then Erin is red. If something is red and not young then it is blue. If Fiona is young and Fiona is not rough then Fiona is not blue.
Fiona is young.
@0: Erin is rough.[(triple1)] Fiona is green.[(triple2)] Fiona is not rough.[(triple5)] Fiona is quiet.[(triple3 OR ((triple2) -> rule5) OR ((triple6 triple2) -> rule4))] Fiona is red.[(triple4)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is not blue.[(((triple7 triple5) -> rule8))]