Alan who is big in stature is almost always nice even when he is cold. Red Charlie is what folks call him, because he is quite red. From a certain angle Eric is blue but he is young so maybe that will go away. Gary is nice and kind. He is green with envy which makes him feel blue. Kind young people are red. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. If a person that is blue and green is also cold, that means that they are young. A person who is round and nice is cold. A blue and green colored person will be round in shape. Kind people, for example, like the ones at the bank are always blue.
Gary is not red.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Charlie is red.[(triple4)] Eric is blue.[(triple6)] Eric is young.[(triple5)] Gary is blue.[(triple10 OR ((triple8) -> rule6))] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] @1: Gary is round.[(((triple10 triple9) -> rule5) OR ((((triple8) -> rule6) triple9) -> rule5))] @2: Gary is cold.[(((triple7 ((triple10 triple9) -> rule5)) -> rule4) OR ((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4))] @3: Gary is young.[(((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3) OR ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3))] @4: Gary is red.[(((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((triple10 triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) triple10 triple9) -> rule3)) -> rule1) OR ((triple8 ((((triple7 ((((triple8) -> rule6) triple9) -> rule5)) -> rule4) ((triple8) -> rule6) triple9) -> rule3)) -> rule1))]