Bob wears all blue. Charlie is cold with rough red skin. Charlie is big but is also kind. Dave is so young and darling he is kind to all the old people on the block. Young Gary is quite nice, and because he is so round can be considered quite big. Often, when you meet a rough person with red skin, you'll see that they are young too. A blue colored, nice but rough person is definitely young too. Kind and young people are round. A big and round shaped person that is also cold will be blue in color. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. It's just a fact that a blue person is a kind person.
Gary is not blue.
@0: Bob is blue.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Dave is kind.[(triple8)] Dave is young.[(triple7)] Gary is big.[(triple12)] Gary is nice.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Bob is kind.[(((triple1) -> rule6))] Charlie is young.[(((triple2 triple3) -> rule1))] Dave is round.[(((triple7 triple8) -> rule3))] @2: Charlie is round.[(((((triple2 triple3) -> rule1) triple4) -> rule3))] @3: Charlie is blue.[(((triple5 triple6 ((((triple2 triple3) -> rule1) triple4) -> rule3)) -> rule4))] Charlie is nice.[(((triple2 ((((triple2 triple3) -> rule1) triple4) -> rule3) triple6) -> rule5))]