When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. That guy Charlie is big, but he's always kind to little ones. Even though he's a big dude, Dave is cold. Fred is a man who is both round and rough. Someone who has a a young round face is often rough around the edges. Rough and cold and blue people are round. Anybody that is big is also someone who is going to be blue. When someone is young and round, dressing in blue they can be nice. Someone can be young, big, and cold but green.
Dave is not young.
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Dave is big.[(triple9)] Dave is cold.[(triple8)] Fred is rough.[(triple11)] Fred is round.[(triple10)] @1: Bob is blue.[(((triple5) -> rule3))] Bob is green.[(((triple1 triple4 triple5) -> rule5))] Charlie is blue.[(((triple7) -> rule3))] Dave is blue.[(((triple9) -> rule3))] @2: Bob is round.[(((triple2 ((triple5) -> rule3) triple4) -> rule2))] @3: Bob is nice.[(((((triple2 ((triple5) -> rule3) triple4) -> rule2) triple1 ((triple5) -> rule3)) -> rule4))]