They always call him rough Alan. Charlie is a man who is both round and rough. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Harry was born only a few years ago so he is young. All kind, red, and young people are also nice. Being round and nice automatically means a person is kind. Nice green people and often blue with sadness. In every case of people being kind and blue and green, we find they are concurrently nice. People who are round and young are also very nice. All the kind people in blue were young. A big, young aged person that is green will be round shaped.
Eric is not blue.
@0: Alan is rough.[(triple1)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Harry is young.[(triple7)] @1: Eric is round.[(((triple6 triple5 triple4) -> rule7))] @2: Eric is nice.[(((((triple6 triple5 triple4) -> rule7) triple4) -> rule5))] @3: Eric is blue.[(((triple5 ((((triple6 triple5 triple4) -> rule7) triple4) -> rule5)) -> rule3))] Eric is kind.[(((((triple6 triple5 triple4) -> rule7) ((((triple6 triple5 triple4) -> rule7) triple4) -> rule5)) -> rule2))]