Alan is very big for being so young. Charlie may be young but he is also round, and big and blue as well. The round, rough, and green one was labeled Fred after all. Harry feels blue because the other kids made fun of his round shape. Nice people who are big and round will have red faces too. Blue people are known the world over as nice people. Turns out that sad people feeling blue who are both nice and cold to others are all big people. Anyone known to be red, young and blue will also be found to be cold. Big and round people,though cold,are often nice. Someone who is nice and kind and big is round.
Fred is cold.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Fred is green.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Harry is blue.[(triple11)] Harry is round.[(triple10)] @1: Charlie is nice.[(((triple5) -> rule2))] Harry is nice.[(((triple11) -> rule2))] @2: Charlie is red.[(((((triple5) -> rule2) triple6 triple4) -> rule1))] @3: Charlie is cold.[(((((((triple5) -> rule2) triple6 triple4) -> rule1) triple3 triple5) -> rule4))]