Alan is big and round. Because of how young and green he is, Alan is still kind. Charlie has a round face and is very nice. Dave was born only a few years ago so he is young. Eric is nice and kind, but a little rough. Any green person is a round person. Someone can be very nice and kind, and this means they are also green. Nice people who have red cold skin are round. A rough, blue person is often said to be nice. If a nice person is round shaped, they feel blue about it.
Alan is nice.
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2 OR ((triple4) -> rule1))] Alan is young.[(triple1)] Charlie is nice.[(triple7)] Charlie is round.[(triple6)] Dave is young.[(triple8)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is rough.[(triple9)] @1: Charlie is blue.[(((triple7 triple6) -> rule5))] Eric is green.[(((triple10 triple11) -> rule2))] @2: Eric is round.[(((((triple10 triple11) -> rule2)) -> rule1))] @3: Eric is blue.[(((triple10 ((((triple10 triple11) -> rule2)) -> rule1)) -> rule5))]