Dave is kind. Fiona is kind. Fiona is rough. Fiona is young. Harry is kind. Harry is quiet. Harry is young. All rough people are nice. If Fiona is young then Fiona is kind. Nice, young people are quiet.
Harry is not nice.
@0: Dave is kind.[(triple1)] Fiona is kind.[(triple2 OR ((triple4) -> rule2))] Fiona is rough.[(triple3)] Fiona is young.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Fiona is nice.[(((triple3) -> rule1))] @2: Fiona is quiet.[(((((triple3) -> rule1) triple4) -> rule3))]