Bob is a nice, kind young man.  Bob keeps a sweater with him because he is always cold. Dave ate some rotten meat and now feels green. Even though Eric is green with envy he is nice with rosy red cheeks. Young Harry is a big, cold, rough person. Surprisingly, all the kind, green people were also big. Young people who rough around in the cold are known to be very red. A young person who is red and green is also going to look round. Nobody who is round and rough and big can keep themselves from being nice. A big person with cold, rough skin is going to be green as well. Young people that are big in size, tend to be more on the blue side.
Eric is not round.
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is green.[(triple5)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Harry is blue.[(((triple12 triple9) -> rule6))] Harry is green.[(((triple12 triple11 triple10) -> rule5))] Harry is red.[(((triple10 triple9 triple11) -> rule2))] @2: Harry is round.[(((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3))] @3: Harry is nice.[(((((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3) triple10 triple12) -> rule4))]