Alan, like all young people, is nice. Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred has a round face and is very nice. Gary is a round fellow, but he is kind, even when he is so cold he turns blue. A nice young person who is rough around the edges is big. People who are rough around the edges, nice, and a bit blue are young. Being green, blue, and red all point to how young someone was. A blue and red colored person that is young is also very cold. Blue people round with fat are red from too much time in the sun. Round, nice people are normally cold and nasty.
Dave is not big.
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is round.[(triple3)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] @1: Dave is red.[(((triple5 triple3) -> rule5))] Fred is cold.[(((triple6 triple7) -> rule6))] Gary is red.[(((triple11 triple8) -> rule5))] @2: Dave is young.[(((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3))] @3: Dave is cold.[(((triple5 ((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3) ((triple5 triple3) -> rule5)) -> rule4))]