Alan is a nice person who is red because he has a rash. Though he is young, Charlie is still nice despite being quite blue. Fred is red with anger because he's green with envy, like all young, rough boys. Harry ate some rotten meat and now feels green. A green person who is cold and round is also big. Young, round, and cold people have a habit of looking pretty red. A person with nice, blue traits who is young will surely be a round person. Anyone with red and blue coloration also has green coloration. A person who is round and nice is cold. Most big and kind people,though young,are often blue.
Alan is kind.
@0: Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Fred is green.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] Harry is green.[(triple10)] @1: Charlie is round.[(((triple5 triple4 triple3) -> rule3))] @2: Charlie is cold.[(((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5))] @3: Charlie is red.[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2))] @4: Charlie is green.[(((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4))] @5: Charlie is big.[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) ((triple5 triple4 triple3) -> rule3) ((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4)) -> rule1))]