Anne is furry. Anne is smart. Dave is kind. Dave is nice. Dave is red. Gary is furry. Gary is kind. If something is smart and kind then it is cold. Red, nice things are cold. If Dave is furry then Dave is kind. All round, smart things are kind. All smart, round things are red. All furry, smart things are nice. All cold, nice things are furry. All furry things are red.
Dave is not kind.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Dave is kind.[(triple3 OR ((((((triple5 triple4) -> rule2) triple4) -> rule7)) -> rule3))] Dave is nice.[(triple4)] Dave is red.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] @1: Anne is nice.[(((triple1 triple2) -> rule6))] Anne is red.[(((triple1) -> rule8))] Dave is cold.[(((triple5 triple4) -> rule2))] Gary is red.[(((triple6) -> rule8))] @2: Anne is cold.[(((((triple1) -> rule8) ((triple1 triple2) -> rule6)) -> rule2))] Dave is furry.[(((((triple5 triple4) -> rule2) triple4) -> rule7))]