Alan is not only red but green and blue as well. Charlie tends to be blue because he is big and this makes him a little rough around the edges. Eric feels blue because the other kids made fun of his round shape. Harry is young in age, round in form, wears blue and is rough. A nice person who is also round will always be big. Nice green people who are cold are often a but rough. A rough, quite round, and blue person will most certainly be nice. Absolutely, you can be sure that anyone with the combined features of being rough, red, and round, will always be kind. A person that is big and rough will certainly be blue. Nice people who look rough almost always appear to be green in color. People who are big, green, and rough are bound to be red.
Harry is not red.
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is red.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5 OR ((triple4 triple6) -> rule5))] Charlie is rough.[(triple4)] Eric is blue.[(triple8)] Eric is round.[(triple7)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Harry is nice.[(((triple11 triple12 triple10) -> rule3))] @2: Harry is big.[(((((triple11 triple12 triple10) -> rule3) triple10) -> rule1))] Harry is green.[(((((triple11 triple12 triple10) -> rule3) triple11) -> rule6))] @3: Harry is red.[(((((((triple11 triple12 triple10) -> rule3) triple10) -> rule1) ((((triple11 triple12 triple10) -> rule3) triple11) -> rule6) triple11) -> rule7))] @4: Harry is kind.[(((triple11 ((((((triple11 triple12 triple10) -> rule3) triple10) -> rule1) ((((triple11 triple12 triple10) -> rule3) triple11) -> rule6) triple11) -> rule7) triple10) -> rule4))]