Although Dave is seen as nice and round, his days of playing football have made him quite rough. Red Eric is what folks call him, because he is quite red. Fred is rough around the edges, but he's often blue and always nice. Being young, Harry is still green and blue. Anyone who manages to be round, blue, and green must be pretty big. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Rough people are often round. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. Young, kind people have a habit of being nice. John is round and rough, meaning that he is someone that is seen as green. When someone is big, young and rough, they can be cold.
Harry is big.
@0: Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1 OR ((triple2) -> rule3))] Eric is red.[(triple4)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is young.[(triple8)] @1: Dave is green.[(((triple1 triple2) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule6))] Fred is round.[(((triple5) -> rule3))] @2: Fred is green.[(((((triple5) -> rule3) triple5) -> rule6))] @3: Fred is big.[(((((triple5) -> rule3) triple7 ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((triple7 triple6 ((((triple5) -> rule3) triple5) -> rule6)) -> rule2) triple7 ((triple5) -> rule3)) -> rule4))] Fred is red.[(((triple7 triple6 ((((triple5) -> rule3) triple5) -> rule6)) -> rule2))]