Anne is cold. Anne is not green. Anne is kind. Anne is quiet. Anne is red. Anne is not smart. Anne is white. All green, quiet things are smart. Green things are not red. If something is kind then it is red. All smart, white things are quiet. If Anne is green and Anne is not cold then Anne is smart. If Anne is smart and Anne is quiet then Anne is not white.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not smart.[(triple6)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule3))] Anne is white.[(triple7)]