Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Harry is quiet. Harry is red. Rough things are green. Cold, blue things are quiet. If Fiona is green then Fiona is quiet.
Harry is not quiet.
@0: Fiona is green.[(triple1 OR ((triple5) -> rule1))] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3 OR ((triple1) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7)]