Dave may be young but he is also round, and big and blue as well. Eric wears a green and red coat, but is always cold. Gary is big, but he is also nice and kind. Harry is very big for being so young. If you are a nice, kind person then your appearance will be quite round. Kind and round people are often cold to people. Maybe someone is round and rough but wears green shoes. Anyone known to be red, young and blue will also be found to be cold. Someone who's big, especially nice, and also cold at the same time can only be young. Absolutely, you can be sure that anyone with the combined features of being rough, red, and round, will always be kind.
Eric is not cold.
@0: Dave is big.[(triple4)] Dave is blue.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is red.[(triple5)] Gary is big.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Harry is big.[(triple12)] Harry is young.[(triple11)] @1: Gary is round.[(((triple9 triple8) -> rule1))] @2: Gary is cold.[(((triple9 ((triple9 triple8) -> rule1)) -> rule2))] @3: Gary is young.[(((triple10 triple8 ((triple9 ((triple9 triple8) -> rule1)) -> rule2)) -> rule5))]