Alan is a very kind, green but sometimes cold person. Bob is kind and round. Being round makes him a bit blue. Even though he's a big dude, Charlie is cold. Harry has a round face and is very nice. A green and red colored person who is rather nice will definitely be kind. A young person with a kind heart and big sized body will be rough around the edges. A round someone could be blue and round but maybe red. When you meet big guys with red hair, then tend to be cold hearted. Red and kind people always seem to be big as well. Blue and red people who are young always have rough skin. Red people who are green and blue are always kind.
Charlie is not green.
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is kind.[(triple5)] Bob is round.[(triple4)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Bob is red.[(((triple4 triple6) -> rule3))] @2: Bob is big.[(((((triple4 triple6) -> rule3) triple5) -> rule5))] @3: Bob is cold.[(((((((triple4 triple6) -> rule3) triple5) -> rule5) ((triple4 triple6) -> rule3)) -> rule4))]