Charlie is not quiet. Charlie is rough. Charlie is white. Dave is white. Fiona is nice. Fiona is red. Fiona is white. Harry is not nice. Harry is rough. Harry is young. If someone is quiet and nice then they are rough. Quiet, red people are white. All red people are quiet.
Dave is quiet.
@0: Charlie is not quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Dave is white.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7 OR ((((triple6) -> rule3) triple6) -> rule2))] Harry is not nice.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Fiona is quiet.[(((triple6) -> rule3))] @2: Fiona is rough.[(((((triple6) -> rule3) triple5) -> rule1))]