Anne is furry. Bob is not round. Dave is not furry. Dave is rough. Dave is not young. Erin is rough. Erin is round. If someone is kind and cold then they are not rough. All kind people are cold. If someone is cold then they are kind. All furry people are kind. Round people are not kind. All kind, round people are not green.
Anne is not rough.
@0: Anne is furry.[(triple1)] Bob is not round.[(triple2)] Dave is not furry.[(triple3)] Dave is not young.[(triple5)] Dave is rough.[(triple4)] Erin is rough.[(triple6)] Erin is round.[(triple7)] @1: Anne is kind.[(((triple1) -> rule4))] Erin is not kind.[(((triple7) -> rule5))] @2: Anne is cold.[(((((triple1) -> rule4)) -> rule2))] @3: Anne is not rough.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule1))]