Anne is rough. Fiona is white. Cold, nice people are not rough. If someone is kind and not young then they are rough. If Fiona is quiet then Fiona is white. All rough, nice people are quiet. White people are kind. If someone is nice and not cold then they are not white.
Anne is not quiet.
@0: Anne is rough.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is kind.[(((triple2) -> rule5))]