Anne is not cold. Anne is not furry. Anne is quiet. Anne is not red. Anne is rough. Anne is round. Anne is white. If someone is quiet and cold then they are round. If someone is red and not cold then they are not rough. Cold, round people are not rough. If someone is red and not furry then they are rough. If Anne is white and Anne is red then Anne is rough. If Anne is red then Anne is rough. If Anne is not furry then Anne is rough. Red people are not quiet.
Anne is not red.
@0: Anne is not cold.[(triple1)] Anne is not furry.[(triple2)] Anne is not red.[(triple4)] Anne is quiet.[(triple3)] Anne is rough.[(triple5 OR ((triple2) -> rule7))] Anne is round.[(triple6)] Anne is white.[(triple7)]