Big, red Charlie is quite kind. Eric always goes out of his way to show that he is kind to people. Fred is rough but very kind, he is also red in color and young in age. Harry is round, dresses in red, but is blue with cold. Nice blue people are often rough. A nice and blue person who's also red will be a rough person. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. If someone is a bit rough, but also nice, then they qualify as round. A red, round male or female will also be a nice male or female. Being blue, cold, and rough must be very trying. At least they are also big. Kind people who are blue with sadness and cold toward others are surprisingly red.
Harry is nice.
@0: Charlie is big.[(triple3)] Charlie is kind.[(triple2)] Charlie is red.[(triple1)] Eric is kind.[(triple4)] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Harry is nice.[(((triple10 triple9) -> rule5) OR ((triple12 triple10 triple9) -> rule3))] @2: Harry is rough.[(((((triple10 triple9) -> rule5) triple12) -> rule1) OR ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1) OR ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2) OR ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2))] @3: Harry is big.[(((triple12 triple11 ((((triple10 triple9) -> rule5) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2)) -> rule6))]