Anne is quiet. Anne is round. Fiona is smart. Cold things are smart. If something is young then it is not round. If Fiona is cold then Fiona is nice. Smart things are cold. All nice things are not young. Round, smart things are nice. If Anne is not cold then Anne is not quiet. If Anne is round and Anne is not quiet then Anne is rough.
Fiona is quiet.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule4))] @2: Fiona is nice.[(((((triple3) -> rule4)) -> rule3))] @3: Fiona is not young.[(((((((triple3) -> rule4)) -> rule3)) -> rule5))]