Alan seems to be round. Charlie is young and green. He is round with rosy red skin which makes him blue. Gary seems to be round. Harry who is young and nice is also quite big and feels green. People who are very nice and easily flush red are often wearing green concealer. Young round people who are green are usually blue. Rough and big people are always also cold people. Anybody young person covered in blue and green will be kind. Someone who is young at heart and age are very round.
Harry is not blue.
@0: Alan is round.[(triple1)] Charlie is blue.[(triple6 OR ((triple3 triple2 triple5) -> rule2) OR ((((triple2) -> rule5) triple2 triple5) -> rule2))] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3 OR ((triple2) -> rule5))] Charlie is young.[(triple2)] Gary is round.[(triple7)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is nice.[(triple9)] Harry is young.[(triple8)] @1: Charlie is kind.[(((triple2 triple6 triple5) -> rule4) OR ((triple2 ((triple3 triple2 triple5) -> rule2) triple5) -> rule4) OR ((triple2 ((((triple2) -> rule5) triple2 triple5) -> rule2) triple5) -> rule4))] Harry is round.[(((triple8) -> rule5))] @2: Harry is blue.[(((((triple8) -> rule5) triple8 triple10) -> rule2))] @3: Harry is kind.[(((triple8 ((((triple8) -> rule5) triple8 triple10) -> rule2) triple10) -> rule4))]