Red Alan is what folks call him, because he is quite red. Dave is big and round man that is looking rather green after seeing some bad mayonnaise. Big Fred, the most blue guy I know while also being cold. Young, red Gary is nice. A red colored person will be rough textured and will be blue. Anybody that is big is also someone who is going to be blue. Among cold people, those who are round and kind are also rough. Red and kind people always seem to be big as well. Someone with the traits of being cold and red is also going to be someone who is big. A person that is both nice and young will also be cold. Most kind and cold people are also big.
Gary is blue.
@0: Alan is red.[(triple1)] Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is round.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6 OR ((triple7) -> rule2))] Fred is cold.[(triple5)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Dave is blue.[(((triple4) -> rule2))] Gary is cold.[(((triple10 triple8) -> rule6))] @2: Gary is big.[(((((triple10 triple8) -> rule6) triple9) -> rule5))] @3: Gary is blue.[(((((((triple10 triple8) -> rule6) triple9) -> rule5)) -> rule2))]