Anne is furry. Anne is not kind. Anne is not nice. Anne is red. Bob is not round. Dave is furry. Dave is not nice. If something is furry and round then it is cold. If something is white and furry then it is cold. If something is cold then it is red. All kind, white things are round. Red things are round. Cold things are not white. If Bob is not nice then Bob is not round. If Dave is nice and Dave is round then Dave is not kind.
Dave is red.
@0: Anne is furry.[(triple1)] Anne is not kind.[(triple2)] Anne is not nice.[(triple3)] Anne is red.[(triple4)] Bob is not round.[(triple5)] Dave is furry.[(triple6)] Dave is not nice.[(triple7)] @1: Anne is round.[(((triple4) -> rule5))] @2: Anne is cold.[(((triple1 ((triple4) -> rule5)) -> rule1))] @3: Anne is not white.[(((((triple1 ((triple4) -> rule5)) -> rule1)) -> rule6))]