Alan is colored blue and red, and you will notice is he is also big and round. Bob ate some rotten meat and now feels green. Charlie is nice and kind despite the appearance of his cold, red skin. When young, round people are cold it their skin gets a blue tinge to it. A round person who is cold is big. A big person in size will definitely be rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. A person with big hair and rough lips is certainly young and jaded. A cold, red person with a kind disposition will certainly be big.
Alan is not young.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple5)] Charlie is cold.[(triple9)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7)] Charlie is red.[(triple6)] @1: Alan is rough.[(((triple4) -> rule3))] Charlie is big.[(((triple6 triple9 triple8) -> rule6))] @2: Alan is young.[(((((triple4) -> rule3) triple4) -> rule5))] Charlie is rough.[(((((triple6 triple9 triple8) -> rule6)) -> rule3))] @3: Charlie is round.[(((triple8 ((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule4))] Charlie is young.[(((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5))] @4: Charlie is blue.[(((((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5) ((triple8 ((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule4) triple9) -> rule1))]