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