Alan wears all blue. Dave has a round face and is very nice. Eric was born only a few years ago so he is young. Big Harry is a kind man and often wears blue and green shirts. Kind big people are green and young. When you know someone who is young and green you can count on them being nice to everyone. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. When someone feels cold, while being big and rough, they always turn out to be red. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. A person that is both nice and young will also be cold. If someone is red and green and feeels rough, they are kind.
Dave is not rough.
@0: Alan is blue.[(triple1)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is young.[(triple4)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is green.[(triple6)] Harry is kind.[(triple5)] @1: Harry is young.[(((triple5 triple6 triple8) -> rule1))] @2: Harry is nice.[(((((triple5 triple6 triple8) -> rule1) triple6) -> rule2))] @3: Harry is cold.[(((((((triple5 triple6 triple8) -> rule1) triple6) -> rule2) ((triple5 triple6 triple8) -> rule1)) -> rule6))]