Anne is red. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is not white. Erin is young. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is not young. Harry is green. Harry is round. Harry is young. If Harry is white then Harry is round. If Fiona is young and Fiona is not green then Fiona is rough. All rough things are round.
Anne is not round.
@0: Anne is red.[(triple1)] Erin is green.[(triple2)] Erin is not white.[(triple7)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple5) -> rule3))] Erin is young.[(triple8)] Fiona is green.[(triple9)] Fiona is not young.[(triple13)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12 OR ((triple11) -> rule3))] Harry is green.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)]