Alan is green, which is a possible explanation for why he is so nice. Red Bob is what folks call him, because he is quite red. In the snow sits Dave, crying from being cold. Gary is interestingly colored red and blue, and is also very kind. A big round person is nice. Santa Claus is red and kind. He is also very nice, especially to children. A big young person that is green will be cold to others. Cold, rough people are always green. A person who is described as young and cold, but also described as rough is nice. When you know someone who's red, rough and nice, you'll also see that they're cold. Kind people who are nice find that they must also be rough.
Gary is not big.
@0: Alan is green.[(triple2)] Alan is nice.[(triple1)] Bob is red.[(triple3)] Dave is cold.[(triple4)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] @1: Gary is nice.[(((triple5 triple6) -> rule2))] @2: Gary is rough.[(((triple6 ((triple5 triple6) -> rule2)) -> rule7))] @3: Gary is cold.[(((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6))] @4: Gary is green.[(((((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6) ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule4))]