Bob's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Eric, who is a young, rough person, is also a kind and cold guy. Harry is rough, but often feels blue. He is pretty young. Whoever is rough and red must be kind. You'll always find a young, kind and red person to be a cold person, too. This person is nice and young, also round, which makes them cold. It's a fact that young people are red people. It is true that kind people who have become cold and blue and survived are necessarily big. Young people tend to rough and nice, but they are also red. I believe that red, cold, rough people are likely to be green.
Bob is not big.
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Eric is cold.[(triple9 OR ((triple8 triple6 ((triple6) -> rule4)) -> rule2) OR ((((triple7 ((triple6) -> rule4)) -> rule1) triple6 ((triple6) -> rule4)) -> rule2))] Eric is kind.[(triple8 OR ((triple7 ((triple6) -> rule4)) -> rule1))] Eric is rough.[(triple7)] Eric is young.[(triple6)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is young.[(triple10)] @1: Charlie is kind.[(((triple4 triple5) -> rule1))] Eric is red.[(((triple6) -> rule4))] Harry is red.[(((triple10) -> rule4))] @2: Eric is green.[(((triple7 ((triple6) -> rule4) triple9) -> rule7) OR ((triple7 ((triple6) -> rule4) ((triple8 triple6 ((triple6) -> rule4)) -> rule2)) -> rule7) OR ((triple7 ((triple6) -> rule4) ((((triple7 ((triple6) -> rule4)) -> rule1) triple6 ((triple6) -> rule4)) -> rule2)) -> rule7))] Harry is kind.[(((triple11 ((triple10) -> rule4)) -> rule1))] @3: Harry is cold.[(((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2))] @4: Harry is big.[(((triple12 ((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2) ((triple11 ((triple10) -> rule4)) -> rule1)) -> rule5))] Harry is green.[(((triple11 ((triple10) -> rule4) ((((triple11 ((triple10) -> rule4)) -> rule1) triple10 ((triple10) -> rule4)) -> rule2)) -> rule7))]