Dave is white. Erin is blue. Fiona is nice. Harry is rough. If Dave is rough and Dave is green then Dave is round. If something is round then it is green. If something is round and rough then it is quiet. If something is nice then it is blue. Green, quiet things are rough. All green, blue things are rough.
Dave is not round.
@0: Dave is white.[(triple1)] Erin is blue.[(triple2)] Fiona is nice.[(triple3)] Harry is rough.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule4))]