Bob is very nice to people, but he's also rather big. Dave who is considered nice was feeling rather rough today. They always call him rough Eric. Gary is a big gentleman who is very nice. He is secretly green with envy. A round and nice person will certainly have a red tint to them. A cold temperatured and green colored person who is also big will be young. Kind, young, green persons are sure to be rough persons, too. If you are green you are also kind. It is true that anyone who is cold while being young and nice is secretly a kind person. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Gary is not cold.
@0: Bob is big.[(triple2)] Bob is nice.[(triple1)] Dave is nice.[(triple4)] Dave is rough.[(triple3)] Eric is rough.[(triple5)] Gary is big.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] @1: Gary is kind.[(((triple7) -> rule4))] @2: Gary is cold.[(((triple8 triple6 ((triple7) -> rule4)) -> rule6))] @3: Gary is young.[(((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2))] @4: Gary is rough.[(((((triple7) -> rule4) ((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2) triple7) -> rule3))]