They always call him rough Alan. Bob is a young kid who is a bit rough and on the big side. He can be kind to some and lives a green lifestyle. Dave's a round guy, and a red and green guy. Fred was born only a few years ago so he is young. Rough people are often round. Any big, kind person that turns red is cold to the touch. A young person who is red and green is also going to look round. Anyone who's got young, round and big traits is bound to have a red trait, too. A big, green person who is cold is assumed to be red also.
Fred is not big.
@0: Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Bob is young.[(triple2)] Dave is green.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Fred is young.[(triple10)] @1: Alan is round.[(((triple1) -> rule1))] Bob is round.[(((triple3) -> rule1))] @2: Bob is red.[(((triple2 triple6 ((triple3) -> rule1)) -> rule4))] @3: Bob is cold.[(((((triple2 triple6 ((triple3) -> rule1)) -> rule4) triple6 triple4) -> rule2))]