Anne is cold. Anne is furry. Anne is smart. Dave is cold. Dave is round. Gary is not furry. Gary is red. Gary is round. Harry is cold. Harry is not kind. Harry is not nice. Harry is red. All cold, round things are smart. All smart things are not kind. If something is furry and not nice then it is kind.
Gary is not kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Dave is cold.[(triple4)] Dave is round.[(triple5)] Gary is not furry.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Harry is cold.[(triple9)] Harry is not kind.[(triple10)] Harry is not nice.[(triple11)] Harry is red.[(triple12)] @1: Anne is not kind.[(((triple3) -> rule2))] Dave is smart.[(((triple4 triple5) -> rule1))] @2: Dave is not kind.[(((((triple4 triple5) -> rule1)) -> rule2))]