Upon meeting Alan, you'll notice he's green and kind. Bob is nice and kind despite the appearance of his cold, red skin. Charlie wears all blue. Dave is nice but he's pretty inexperienced, pretty green. He's too big to fit in the hot tub so he stays cold which makes him blue. Red and green people that are nice are cold to strangers. Red, kind, young people will be rough people, too. When someone feels cold, while being big and rough, they always turn out to be red. Young people that are cold and round are necessarily big. Anyone that is nice and kind and also green will usually be young as well. Big, green people that feel blue are mostly young. Julie is really nice to gardeners since she has a green thumb.
Bob is not rough.
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is cold.[(triple6 OR ((triple3 triple4 ((triple4) -> rule7)) -> rule1))] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Charlie is blue.[(triple7)] Dave is big.[(triple12)] Dave is blue.[(triple11)] Dave is cold.[(triple10)] Dave is green.[(triple9 OR ((triple8) -> rule7))] Dave is nice.[(triple8)] @1: Bob is green.[(((triple4) -> rule7))] Dave is young.[(((triple12 triple9 triple11) -> rule6) OR ((triple12 ((triple8) -> rule7) triple11) -> rule6))] @2: Bob is young.[(((((triple4) -> rule7) triple4 triple5) -> rule5))] @3: Bob is rough.[(((((((triple4) -> rule7) triple4 triple5) -> rule5) triple5 triple3) -> rule2))]