Anne is blue. Anne is quiet. Anne is rough. Fiona is blue. Harry is big. Harry is quiet. Harry is rough. Rough people are quiet.
Harry is nice.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule1))] Anne is rough.[(triple3)] Fiona is blue.[(triple4)] Harry is big.[(triple5)] Harry is quiet.[(triple6 OR ((triple7) -> rule1))] Harry is rough.[(triple7)]