Bob is a young, round shaped young man who is also very cold. Dave may be round, but he is also kind. Eric seems to be round. Gary is green, but often kind, even when he is blue and cold. A kind young person who is green will be cold. Every person I met that was cold and round was also red. Any person who can be red and blue at the same time is cold. People who are round and red tend  to be rough. A cold blue person who is rough is also kind. People who are round and behave in a cold way are surely blue.
Dave is not nice.
@0: Bob is cold.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Eric is round.[(triple6)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] @1: Bob is blue.[(((triple2 triple3) -> rule6))] Bob is red.[(((triple3 triple2) -> rule2))] @2: Bob is rough.[(((((triple3 triple2) -> rule2) triple2) -> rule4))] @3: Bob is kind.[(((((triple2 triple3) -> rule6) triple3 ((((triple3 triple2) -> rule2) triple2) -> rule4)) -> rule5))]