As Charlie is cold he is turning blue.  Charlie is young, nice and kind and wears all green. Dave feels blue because the other kids made fun of his round shape. Fred has been blue because he's green with envy. Nice people flushing red are always young. Round people who are kind and green with envy are young. Blue people are known the world over as nice people. Nice blue people are usually round in shape. A nice person who is also round will always be big. Rough, big people are always round, no matter what. Big and round young people are often nice.
Dave is big.
@0: Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2 OR ((triple6) -> rule3))] Charlie is young.[(triple1 OR ((triple4 triple3 ((triple2 triple6) -> rule4)) -> rule2) OR ((triple4 triple3 ((((triple6) -> rule3) triple6) -> rule4)) -> rule2))] Dave is blue.[(triple8)] Dave is round.[(triple7 OR ((((triple8) -> rule3) triple8) -> rule4))] Fred is blue.[(triple10)] Fred is green.[(triple9)] @1: Charlie is round.[(((triple2 triple6) -> rule4) OR ((((triple6) -> rule3) triple6) -> rule4))] Dave is nice.[(((triple8) -> rule3))] Fred is nice.[(((triple10) -> rule3))] @2: Charlie is big.[(((triple2 ((triple2 triple6) -> rule4)) -> rule5) OR ((((triple6) -> rule3) ((triple2 triple6) -> rule4)) -> rule5) OR ((triple2 ((((triple6) -> rule3) triple6) -> rule4)) -> rule5) OR ((((triple6) -> rule3) ((((triple6) -> rule3) triple6) -> rule4)) -> rule5))] Dave is big.[(((((triple8) -> rule3) triple7) -> rule5) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple8) -> rule4)) -> rule5))] Fred is round.[(((((triple10) -> rule3) triple10) -> rule4))] @3: Fred is big.[(((((triple10) -> rule3) ((((triple10) -> rule3) triple10) -> rule4)) -> rule5))]