Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Bob is nice, even when he is rough and red with anger. Charlie is both young and fairly round in size. Big Harry is still young so it's easy for him to be kind. Any green person is a round person. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. There could be a round someone with red hair wearing blue pants. Big and cold people are likely to be round, too. A nice big person who is also round is going to be cold. If you meet someone who is big and kind with cold skin, they will be young. A red and green colored person who is cold will be round shaped.
Harry is not green.
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is nice.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Charlie is round.[(triple9)] Charlie is young.[(triple8)] Harry is big.[(triple12)] Harry is kind.[(triple11)] Harry is young.[(triple10)] @1: Alan is round.[(((triple4) -> rule1))] @2: Alan is blue.[(((triple2 ((triple4) -> rule1)) -> rule3))] @3: Alan is nice.[(((triple2 triple1 ((triple2 ((triple4) -> rule1)) -> rule3)) -> rule2))]