Dave is blue. Gary is big. Gary is not blue. Blue people are cold. If someone is quiet and not blue then they are not cold. All blue, furry people are big. Cold, big people are not kind. If someone is green and big then they are kind. Blue, green people are furry. All blue people are furry. If Dave is not blue then Dave is big.
Gary is kind.
@0: Dave is blue.[(triple1)] Gary is big.[(triple2)] Gary is not blue.[(triple3)] @1: Dave is cold.[(((triple1) -> rule1))] Dave is furry.[(((triple1) -> rule7))] @2: Dave is big.[(((triple1 ((triple1) -> rule7)) -> rule3))] @3: Dave is not kind.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule7)) -> rule3)) -> rule4))]