Bob is blue and cold. Gary is young and rough. He is at once red, then blue, then green. But deep down, he is nice. Harry is fat; so he appears big and round.  Harry is also nice and kind to everyone that he meets. A green person who is cold and round is also big. Cold people,though green and red,tend to be rough. Big people who are round in stature and also feel rough are often cold to other people. A big and round shaped person that is also cold will be blue in color. Blue people who are rough are often young. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A rather round and green person will be red.
Harry is cold.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple1)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4)] Gary is young.[(triple3 OR ((triple4 triple8) -> rule5))] Harry is big.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Harry is rough.[(((triple11 triple9 triple10) -> rule6))] @2: Harry is cold.[(((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3))] @3: Harry is blue.[(((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4))] @4: Harry is young.[(((((triple11 triple9 triple10) -> rule6) ((((triple12 ((triple11 triple9 triple10) -> rule6) triple9) -> rule3) triple12 triple9) -> rule4)) -> rule5))]