Because Bob gets cold easily he tends to appear round from bundling up. Dave is rough and is blue, but that's because he's big and round in a small and square world. Because Gary is so young, he is rough and cold when he can be round instead. A nice and blue person who's also red will be a rough person. A rough, blue person is often said to be nice. When someone is young, they can be cold but kind. Nice young people who are round are also blue. Anybody with big, rough and nice qualities is bound to also be young. A person described as cold and kind can also be described as nice.
Dave is not rough.
@0: Bob is cold.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Gary is cold.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Dave is nice.[(((triple5 triple4) -> rule2))] Gary is kind.[(((triple7 triple10) -> rule3))] @2: Dave is young.[(((triple6 triple4 ((triple5 triple4) -> rule2)) -> rule5))] Gary is nice.[(((triple10 ((triple7 triple10) -> rule3)) -> rule6))] @3: Gary is blue.[(((((triple10 ((triple7 triple10) -> rule3)) -> rule6) triple7 triple8) -> rule4))]