Anne is white. Erin is young. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Harry is furry. Harry is rough. Harry is young. Red things are green. All nice things are white. If something is rough and red then it is young.
Anne is not young.
@0: Anne is white.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6 OR ((triple4) -> rule2))] Fiona is young.[(triple7)] Harry is furry.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)]