When you meet Bob you'll the two characteristics that will standout is that he's red but also rough. Charlie is so young and darling he is kind to all the old people on the block. Gary is a young, round fellow who is red and green in color. He is also cold. Green, nice people who have round shapes are going to be kind to you. A blue colored, nice but rough person is definitely young too. A green colored, nice and young person will be big shaped. Anybody that is big is also someone who is going to be blue. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Someone with the traits of being cold and red is also going to be someone who is big. People who are nice and cold are also green.
Gary is not red.
@0: Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is kind.[(triple4)] Charlie is young.[(triple3)] Gary is cold.[(triple9)] Gary is green.[(triple8 OR ((((((triple9 triple7) -> rule6) triple6 triple7) -> rule5) triple9) -> rule7))] Gary is red.[(triple7)] Gary is round.[(triple6)] Gary is young.[(triple5)] @1: Gary is big.[(((triple9 triple7) -> rule6))] @2: Gary is blue.[(((((triple9 triple7) -> rule6)) -> rule4))] Gary is nice.[(((((triple9 triple7) -> rule6) triple6 triple7) -> rule5))] @3: Gary is kind.[(((triple8 triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1) OR ((((((((triple9 triple7) -> rule6) triple6 triple7) -> rule5) triple9) -> rule7) triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1))]