Dave is blue. Fiona is green. Harry is green. If someone is cold then they are rough. If someone is blue then they are cold. Round people are quiet. If someone is cold and smart then they are rough. If Harry is smart and Harry is round then Harry is rough. If someone is rough and cold then they are round.
Fiona is not quiet.
@0: Dave is blue.[(triple1)] Fiona is green.[(triple2)] Harry is green.[(triple3)] @1: Dave is cold.[(((triple1) -> rule2))] @2: Dave is rough.[(((((triple1) -> rule2)) -> rule1))] @3: Dave is round.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule6))] @4: Dave is quiet.[(((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule6)) -> rule3))]