Bob, who is nice and green, is also cold and blue. Rough is one way to describe Charlie.  He's also round and tends to be blue and red. Harry, the big, round fellow over there, is an odd mix of green and blue. Round, green giants are still very young. People with stripes of green and blue on their skin who are also nice to others tend to feel cold to the touch. A person that is nice and big is always round. A young person that is also big and round is usually though of as green,. Big and round young people are often nice. Green, red and blue people tend to be big.
Fred is nice.
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3 OR ((triple2 triple4 triple1) -> rule2))] Bob is green.[(triple2)] Bob is nice.[(triple1)] Charlie is blue.[(triple8)] Charlie is red.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is round.[(triple9)] @1: Harry is young.[(((triple9 triple10) -> rule1))] @2: Harry is nice.[(((triple12 triple9 ((triple9 triple10) -> rule1)) -> rule5))] @3: Harry is cold.[(((triple10 triple11 ((triple12 triple9 ((triple9 triple10) -> rule1)) -> rule5)) -> rule2))]