Anne is rough. Dave is not nice. Dave is not quiet. Dave is rough. Fiona is cold. Fiona is green. Harry is not nice. Kind things are rough. If something is kind and not green then it is not nice. All smart things are kind. All green things are smart. If something is smart and not nice then it is not quiet. All smart things are quiet.
Anne is not cold.
@0: Anne is rough.[(triple1)] Dave is not nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Harry is not nice.[(triple7)] @1: Fiona is smart.[(((triple6) -> rule4))] @2: Fiona is kind.[(((((triple6) -> rule4)) -> rule3))] Fiona is quiet.[(((((triple6) -> rule4)) -> rule6))] @3: Fiona is rough.[(((((((triple6) -> rule4)) -> rule3)) -> rule1))]