Young Bob woke feeling as round and nice as a kind, green man in the cold. Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Red Dave is what folks call him, because he is quite red. Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Big, kind people that are rough are known for being red. A cold temperatured and green colored person who is also big will be young. A round person who is cold is big. A person described as cold and kind can also be described as nice. If a person is quite big and also round then they are certainly rough too.
Gary is not nice.
@0: Bob is cold.[(triple6)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is nice.[(triple3 OR ((triple6 triple4) -> rule4))] Bob is round.[(triple2)] Bob is young.[(triple1 OR ((((triple6 triple2) -> rule3) triple5 triple6) -> rule2))] Charlie is blue.[(triple8)] Charlie is rough.[(triple7)] Dave is red.[(triple9)] Gary is blue.[(triple12)] Gary is green.[(triple11)] Gary is round.[(triple10)] @1: Bob is big.[(((triple6 triple2) -> rule3))] @2: Bob is rough.[(((((triple6 triple2) -> rule3) triple2) -> rule5))] @3: Bob is red.[(((((triple6 triple2) -> rule3) triple4 ((((triple6 triple2) -> rule3) triple2) -> rule5)) -> rule1))]