Big Dave is still young so it's easy for him to be kind. Eric is a rough but very kind and blue person. They always call him rough Fred. Even though Harry is big and round, he is cold much of the time. I've noticed that kind people are also big. When someone is young they can be nice and kind, but green in society. You know when you meet a red, blue and kind person, that means they are green. A big rough person are also young of age. Being kind and young means that if they are also blue, they are always red. A round person will also be red. People that are blue, cold, and big, are rather rough.
Harry is green.
@0: Dave is big.[(triple3 OR ((triple2) -> rule1))] Dave is kind.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Fred is rough.[(triple7)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is round.[(triple8)] @1: Eric is big.[(((triple5) -> rule1))] Harry is red.[(((triple8) -> rule6))] @2: Eric is young.[(((((triple5) -> rule1) triple4) -> rule4))] @3: Eric is red.[(((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5))] @4: Eric is green.[(((((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5) triple6 triple5) -> rule3))]