Alan is big and rough. Bob is green, which is a possible explanation for why he is so nice. Dave is so young and darling he is kind to all the old people on the block. Harry is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. Big and green people who feel cold are usually young in age. A person who is nice and green with envy is round. Young, round, and cold people have a habit of looking pretty red. Anyone that is a red, nice soul will be big, too. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. A kind person who is big in size is definitely young. If someone is red and green and feeels rough, they are kind.
Alan is not rough.
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Dave is kind.[(triple6)] Dave is young.[(triple5)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10 OR ((triple8 triple11 ((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7) OR ((triple7 ((((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3) triple9) -> rule4) triple9) -> rule5))] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Bob is round.[(((triple3 triple4) -> rule2))] Harry is round.[(((triple9 triple11) -> rule2))] @2: Harry is red.[(((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3))] @3: Harry is big.[(((((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3) triple9) -> rule4))]