Charlie was round, nice, and because he was cold, he looked rather blue. To the touch Fred has rough, cold skin. Gary, a blue and green creature, was also big, rough and kind to others. Red Harry is what folks call him, because he is quite red. Blue Christmas ornaments are also red. Young and rough people tend to be green too. If you see someone who is red and green they are round, like Santa Claus. A green person who is kind and a bit blue is young. Rough, round persons are also nice persons. Blue people who are big tend to be rough.
Fred is nice.
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Fred is cold.[(triple6)] Fred is rough.[(triple5)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is rough.[(triple7 OR ((triple10 triple11) -> rule6))] Harry is red.[(triple12)] @1: Charlie is red.[(((triple4) -> rule1))] Gary is red.[(((triple10) -> rule1))] Gary is young.[(((triple10 triple8 triple9) -> rule4))] @2: Gary is round.[(((((triple10) -> rule1) triple9) -> rule3))] @3: Gary is nice.[(((triple7 ((((triple10) -> rule1) triple9) -> rule3)) -> rule5) OR ((((triple10 triple11) -> rule6) ((((triple10) -> rule1) triple9) -> rule3)) -> rule5))]