Erin is young. Fiona is blue. Fiona is red. Fiona is rough. Fiona is young. Harry is not quiet. Harry is rough. Red people are blue. If Harry is young and Harry is rough then Harry is smart.
Harry is not smart.
@0: Erin is young.[(triple1)] Fiona is blue.[(triple2 OR ((triple3) -> rule1))] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is young.[(triple5)] Harry is not quiet.[(triple6)] Harry is rough.[(triple7)]