Bob, a green man, was also big, but underneath he was kind. Being young, Charlie is still green and blue. Fred is fat; so he appears big and round.  Fred is also nice and kind to everyone that he meets. Young and nice people have great big smiles. Someone can be very nice and kind, and this means they are also green. People that feel green are cold to people that try to help them. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Big and cold people are likely to be round, too. Someone who's young and frosty cold are actually very nice.
Charlie is not big.
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is young.[(triple4)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7 OR ((triple10 ((((triple8 triple9) -> rule2)) -> rule3)) -> rule5))] @1: Bob is cold.[(((triple2) -> rule3))] Charlie is cold.[(((triple5) -> rule3))] Fred is green.[(((triple8 triple9) -> rule2))] @2: Bob is round.[(((triple3 ((triple2) -> rule3)) -> rule5))] Charlie is nice.[(((triple4 ((triple5) -> rule3)) -> rule6))] Fred is cold.[(((((triple8 triple9) -> rule2)) -> rule3))] @3: Charlie is big.[(((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1))] @4: Charlie is round.[(((((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1) ((triple5) -> rule3)) -> rule5))]