Bob is known for being big and rough, but few know he is also always red with cold. Charlie is big, round and rough, but he is nice and kind. Harry might be rough and red but he's actually very kind. A kind person who is down in the dumps and blue tends to have a rough side. If someone has a kind disposition and looks rather round and rough then you'll find that they're actually quite young. Someone who is a young age and looks like they are round are also red. Tom is a rough, young person to know, he is very green at his job but he is very round from his weight. If someone shows that they are red, then they are also showing that they are green. An individual who is big, red and young is also going to be a nice individual. Nice people who are also red are going to be cold too.
Harry is not green.
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple9)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7 OR ((((((triple8 triple5 triple6) -> rule2) triple5) -> rule3) ((triple8 triple5 triple6) -> rule2) triple9) -> rule6))] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Harry is kind.[(triple12)] Harry is red.[(triple11)] Harry is rough.[(triple10)] @1: Bob is green.[(((triple2) -> rule5))] Charlie is young.[(((triple8 triple5 triple6) -> rule2))] Harry is green.[(((triple11) -> rule5))] @2: Charlie is red.[(((((triple8 triple5 triple6) -> rule2) triple5) -> rule3))] @3: Charlie is cold.[(((triple7 ((((triple8 triple5 triple6) -> rule2) triple5) -> rule3)) -> rule7) OR ((((((((triple8 triple5 triple6) -> rule2) triple5) -> rule3) ((triple8 triple5 triple6) -> rule2) triple9) -> rule6) ((((triple8 triple5 triple6) -> rule2) triple5) -> rule3)) -> rule7))] Charlie is green.[(((((((triple8 triple5 triple6) -> rule2) triple5) -> rule3)) -> rule5))]