Big Alan is nice and red with sunburn and green hair. Even though Charlie is rough, he nice but cold and blue. Gary fits the description of someone who is rough, red and blue. I've noticed that kind people are also big. Someone might be red but blue from the cold dressing in green. Anyone with red and blue coloration also has green coloration. I have noticed that nice people that are green and blue are often round-shaped. People who are red and green are also nice. Kind people who are nice find that they must also be rough. A person who is red and green, will also tend to be round shaped and rough.
Gary is nice.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2 OR ((triple3 triple1) -> rule5))] Alan is red.[(triple1)] Charlie is blue.[(triple8)] Charlie is cold.[(triple7)] Charlie is nice.[(triple6)] Charlie is rough.[(triple5)] Gary is blue.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9 OR ((((((((triple10 triple11) -> rule3) triple10) -> rule5) ((triple10 triple11) -> rule3) triple11) -> rule4) ((triple10 triple11) -> rule3) triple10) -> rule7))] @1: Gary is green.[(((triple10 triple11) -> rule3))] @2: Gary is nice.[(((((triple10 triple11) -> rule3) triple10) -> rule5))] @3: Gary is round.[(((((((triple10 triple11) -> rule3) triple10) -> rule5) ((triple10 triple11) -> rule3) triple11) -> rule4))]