Erin is green. Erin is not quiet. Erin is smart. Erin is white. Erin is young. Fiona is nice. Fiona is round. Fiona is smart. Harry is nice. Harry is round. If Erin is green then Erin is young.
Harry is not green.
@0: Erin is green.[(triple1)] Erin is not quiet.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5 OR ((triple1) -> rule1))] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)]