Even though he's a big dude, Alan is cold. Bob is red, cold in temperature and round shaped. Bob is also very  big. In the snow sits Dave, crying from being cold. Green and blue people have a habit of being cold, which makes them red too. Nice people that are blue because they are cold turn green with envy. A kind and big person is young. I've been told that big, nice people are very rough. Anyone that's rough and cold is also going to be blue. If you're cold and red then you're nice. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Gary is not kind.
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple3)] Dave is cold.[(triple7)] @1: Bob is nice.[(((triple5 triple4) -> rule6))] @2: Bob is rough.[(((triple6 ((triple5 triple4) -> rule6)) -> rule4))] @3: Bob is blue.[(((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5))] @4: Bob is green.[(((((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5) ((triple5 triple4) -> rule6) triple5) -> rule2))]