Alan is a man who is both round and rough. Bob is sometimes cold and blue, but he can also be kind and big. Charlie was born only a few years ago so he is young. Dave is big and rough looking but is very nice and kind. People who are nice, round and wearing blue will have red cheeks. People who are round, blue and cold are usually nice. Whenever you are around kind and green people, you will notice they are very red. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. Kind and blue people,though young,tend to be big. Rough people who are nice and have green thumbs are almost always young. Anyone who is big and cold and also kind is definitely red on top if it.
Bob is not red.
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Charlie is young.[(triple7)] Dave is big.[(triple11)] Dave is kind.[(triple10)] Dave is nice.[(triple9)] Dave is rough.[(triple8)] @1: Bob is red.[(((triple6 triple4 triple3) -> rule7))] @2: Bob is round.[(((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4))] @3: Bob is nice.[(((((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4) triple5 triple4) -> rule2))]