Upon meeting Bob, you'll notice he's green and kind. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Blue and green Fred is so kind he snowplows the neighbors driveways and everyone thanks him with beer. You could say that Gary is red and kind and it would also be true that he is cold and big. Big people who kind even when look green are often always considered nice. Nice people who have red cold skin are round. Big, rough people sometimes are also green and when they are they must be cold. Being kind and young means that if they are also blue, they are always red. A young and kind person with red rosy skin is cold. A person with the qualities of being cold and being red will also be a person that is green. Nobody who is round and rough and big can keep themselves from being nice.
Gary is not round.
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is young.[(triple3)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Gary is green.[(((triple11 triple9) -> rule6))] @2: Gary is nice.[(((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1))] @3: Gary is round.[(((triple9 ((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1) triple11) -> rule2))]