Anne is kind. Fiona is cold. Harry is rough. All smart, quiet things are kind. Green things are kind. All kind things are quiet. Kind things are rough. All green, kind things are rough. If Harry is rough then Harry is not kind. If Harry is cold and Harry is not nice then Harry is rough. If something is cold then it is green.
Harry is not kind.
@0: Anne is kind.[(triple1)] Fiona is cold.[(triple2)] Harry is rough.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule3))] Anne is rough.[(((triple1) -> rule4))] Fiona is green.[(((triple2) -> rule8))] Harry is not kind.[(((triple3) -> rule6))] @2: Fiona is kind.[(((((triple2) -> rule8)) -> rule2))] @3: Fiona is quiet.[(((((((triple2) -> rule8)) -> rule2)) -> rule3))] Fiona is rough.[(((((((triple2) -> rule8)) -> rule2)) -> rule4) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule5))]