Bob is very big for being so young. If you meet Charlie, you will know that he is young, red and kind. Eric has been blue because he's green with envy. Harry is a very nice man who happens to be Round. Harry has red hair, green and blue eyes. People who are young and a bit round in shape are green and inexperienced in life. People who are round and red are young. Big, red, nice people are rough. Anyone known to be red, young and blue will also be found to be cold. Anyone who is cold and wears green to keep warm is surely kind as well. Big people that are young and act cold towards others, may also be kind, as well. When you meet a person who is cold and nice, you can bet they'll be kind too.
Bob is not round.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Charlie is young.[(triple3)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Harry is blue.[(triple12)] Harry is green.[(triple11 OR ((((triple8 triple9) -> rule2) triple8) -> rule1))] Harry is nice.[(triple10)] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Harry is young.[(((triple8 triple9) -> rule2))] @2: Harry is cold.[(((triple9 ((triple8 triple9) -> rule2) triple12) -> rule4))] @3: Harry is kind.[(((triple11 ((triple9 ((triple8 triple9) -> rule2) triple12) -> rule4)) -> rule5) OR ((((triple9 ((triple8 triple9) -> rule2) triple12) -> rule4) triple10) -> rule7) OR ((((((triple8 triple9) -> rule2) triple8) -> rule1) ((triple9 ((triple8 triple9) -> rule2) triple12) -> rule4)) -> rule5))]