Bob feels blue because the other kids made fun of his round shape. Charlie, who is nice and green, is also cold and blue. Dave is very big for being so young. Gary is quite round but rough and is on the nice side, but rather cold. Round, green giants are still very young. Some nice people are cold and green which makes them rough. Kind people that happen to be cold are round. Rough, young people that are big are often nice. A very kind and nice person will be rough textured and blue in color. If I met someone who was big and nice with a red sunburn I would know that they are not from here and actually very green and new to the area. Someone nice is kind.
Bob is not green.
@0: Bob is blue.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple6 OR ((((triple5 triple4 triple3) -> rule2) ((triple3) -> rule7) triple3) -> rule5))] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Dave is big.[(triple8)] Dave is young.[(triple7)] Gary is cold.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9 OR ((((triple11) -> rule7) triple12) -> rule3))] @1: Charlie is kind.[(((triple3) -> rule7))] Charlie is rough.[(((triple5 triple4 triple3) -> rule2))] Gary is kind.[(((triple11) -> rule7))] @2: Charlie is round.[(((((triple3) -> rule7) triple5) -> rule3))] Gary is blue.[(((triple10 ((triple11) -> rule7) triple11) -> rule5))] @3: Charlie is young.[(((((((triple3) -> rule7) triple5) -> rule3) triple4) -> rule1))]