Alan is nice and young with red hair and a blue shirt. Bob is fat; so he appears big and round.  Bob is also nice and kind to everyone that he meets. Dave is a person both green and big. Harry is big and rough. Someone who looks rough and feels cold is also kind to others. Young people with red skin who are a bit downhearted and blue are kind. Nice and blue people have to be big as well. A young person with a kind heart and big sized body will be rough around the edges. Someone with rough, big traits will be a green person, as well. Kind young people that are still blue are generally round shaped. Someone who happens to be cold and green and big all at once must also be round in shape.
Bob is green.
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple8)] Bob is kind.[(triple7)] Bob is nice.[(triple6)] Bob is round.[(triple5)] Dave is big.[(triple10)] Dave is green.[(triple9)] Harry is big.[(triple12)] Harry is rough.[(triple11)] @1: Alan is big.[(((triple3 triple4) -> rule3))] Alan is kind.[(((triple1 triple4 triple2) -> rule2))] Harry is green.[(((triple11 triple12) -> rule5))] @2: Alan is rough.[(((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4))] Alan is round.[(((triple4 triple1 ((triple1 triple4 triple2) -> rule2)) -> rule6))] @3: Alan is green.[(((((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4) ((triple3 triple4) -> rule3)) -> rule5))]