Dave is blue. Gary is furry. Harry is cold. If someone is white and furry then they are not big. If someone is white then they are not big. Blue people are kind. If Harry is white and Harry is nice then Harry is not cold. All furry, kind people are nice. White, big people are not cold. All blue, kind people are not cold. If Gary is nice and Gary is furry then Gary is kind.
Gary is cold.
@0: Dave is blue.[(triple1)] Gary is furry.[(triple2)] Harry is cold.[(triple3)] @1: Dave is kind.[(((triple1) -> rule3))] @2: Dave is not cold.[(((triple1 ((triple1) -> rule3)) -> rule7))]