Dave wears all blue. Red Eric is what folks call him, because he is quite red. Rough Gary can be nice and kind looking green. They always call him rough Harry. A round person who is cold is big. Someone who is colored green might feel blue, but if they are kind it means they will always be nice. A quite nice person will certainly be red. Being kind and young means that if they are also blue, they are always red. When you know someone who's red, rough and nice, you'll also see that they're cold. Nice people who are green and red will also have round shapes. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Eric is round.
@0: Dave is blue.[(triple1)] Eric is red.[(triple2)] Gary is green.[(triple6)] Gary is kind.[(triple5)] Gary is nice.[(triple4)] Gary is rough.[(triple3)] Harry is rough.[(triple7)] @1: Gary is red.[(((triple4) -> rule3))] @2: Gary is cold.[(((triple4 ((triple4) -> rule3) triple3) -> rule5))] Gary is round.[(((triple6 triple4 ((triple4) -> rule3)) -> rule6))] @3: Gary is big.[(((((triple4 ((triple4) -> rule3) triple3) -> rule5) ((triple6 triple4 ((triple4) -> rule3)) -> rule6)) -> rule1))]