Bob was born only a few years ago so he is young. Eric is young and green round guy, and that keeps him from being cold.  He has stayed kind. Due to the fact that Fred is young, he is red and green. He remains kind nevertheless. Young Harry is wearing green pants. Despite being kind cold people with red ears will still be big. A young, red person will certainly be cold. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Bob is not kind.
@0: Bob is young.[(triple1)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4 OR ((triple5 triple6 triple2) -> rule3))] Eric is round.[(triple3)] Eric is young.[(triple2)] Fred is green.[(triple10)] Fred is kind.[(triple9 OR ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3))] Fred is red.[(triple8)] Fred is young.[(triple7)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Fred is cold.[(((triple8 triple7) -> rule2))] @2: Fred is big.[(((((triple8 triple7) -> rule2) triple8 triple9) -> rule1) OR ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1))] @3: Fred is round.[(((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5))]