Although Alan is round, he is intimidating because he is rough, red, cold, and very big. Charlie is young and green, so although he is rough and blue with sadness, he'll grow out of it. Gary is very nice to people, but he's also rather big. They always call him rough Harry. A cold person with a round figure who is kind to others is nice as well. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. A person who is described as round and rough is usually kind. People who are cold even when they're nice and round, they are young. People who are rough and nice and blue can be round. Red and round people will be cold even in the summer.
Alan is nice.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4 OR ((triple3 triple1) -> rule6))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple9)] Charlie is green.[(triple8)] Charlie is rough.[(triple7)] Charlie is young.[(triple6)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Harry is rough.[(triple12)] @1: Alan is kind.[(((triple1 triple2) -> rule3))] @2: Alan is nice.[(((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) OR ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1))] @3: Alan is blue.[(((triple2 ((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple3) -> rule2) OR ((triple2 ((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple3) -> rule2))] Alan is young.[(((((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple1 triple4) -> rule4) OR ((((((triple1 triple2) -> rule3) triple4 triple1) -> rule1) triple1 ((triple3 triple1) -> rule6)) -> rule4) OR ((((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple1 triple4) -> rule4) OR ((((((triple1 triple2) -> rule3) ((triple3 triple1) -> rule6) triple1) -> rule1) triple1 ((triple3 triple1) -> rule6)) -> rule4))]