Charlie is a young man who is also kind, blue and rough. Eric is both young and fairly round in size. Gary is a person both green and big. Harry is both young and fairly round in size. Look for the blue and green people, they are kind and will give you directions if you're lost. Young people that are cold and round are necessarily big. Young,round people tend to be rough and big. A rough, big, and round person can't help but be kind as well. Young people are rough.
Eric is not big.
@0: Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is rough.[(triple2 OR ((triple1) -> rule5))] Charlie is young.[(triple1)] Eric is round.[(triple6)] Eric is young.[(triple5)] Gary is big.[(triple8)] Gary is green.[(triple7)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Eric is rough.[(((triple5) -> rule5))] Harry is rough.[(((triple9) -> rule5))] @2: Eric is big.[(((((triple5) -> rule5) triple5 triple6) -> rule3))] Harry is big.[(((((triple9) -> rule5) triple9 triple10) -> rule3))] @3: Eric is kind.[(((((triple5) -> rule5) ((((triple5) -> rule5) triple5 triple6) -> rule3) triple6) -> rule4))] Harry is kind.[(((((triple9) -> rule5) ((((triple9) -> rule5) triple9 triple10) -> rule3) triple10) -> rule4))]