Bob is not blue. Bob is rough. Fiona is blue. Fiona is rough. Fiona is smart. Harry is rough. Harry is round. Smart, red things are big. All round, blue things are big. If Harry is round and Harry is not blue then Harry is green. If something is green then it is round. Smart things are rough. If something is red and not green then it is rough.
Fiona is rough.
@0: Bob is not blue.[(triple1)] Bob is rough.[(triple2)] Fiona is blue.[(triple3)] Fiona is rough.[(triple4 OR ((triple5) -> rule5))] Fiona is smart.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)]