To be young and red like Eric is pretty nice, which Green Eric is also. Red Gary is what folks call him, because he is quite red. You can see Harry walking down the street because he is big and round.  He's actually a kind guy even though he's rough around the edges.  He also has a red, ruddy complexion. Surprisingly, all the kind, green people were also big. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A nice young person who is red is cold. A kind and green person who is rough around the edges is cold. Any cold, round, green person is going to be young at the same time. People who are young, while being red and cold, are big people. People who are nice and rough are looked at as kind.
Harry is not green.
@0: Eric is green.[(triple4)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Eric is young.[(triple1)] Gary is red.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Eric is cold.[(((triple3 triple2 triple1) -> rule3))] Harry is green.[(((triple7 triple6 triple10) -> rule2))] @2: Eric is big.[(((triple1 triple2 ((triple3 triple2 triple1) -> rule3)) -> rule6))] Harry is cold.[(((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4))] @3: Harry is young.[(((((((triple7 triple6 triple10) -> rule2) triple7 triple9) -> rule4) triple6 ((triple7 triple6 triple10) -> rule2)) -> rule5))]