Alan wears all blue. Green eyed Bob is kind and nice. Since he is also big and round with rough skin he often turns red in the sun. Gary is interestingly colored red and blue, and is also very kind. People who are rough around the edges, nice, and a bit blue are young. A round shaped and rough person will be blue as well. If smeone has a blue and green color, then they are young and probably kind. Being big and kind like a gentle giant can make anyone blue. A rather round and green person will be red. A person that is both nice and young will also be cold.
Alan is cold.
@0: Alan is blue.[(triple1)] Bob is big.[(triple8)] Bob is green.[(triple7)] Bob is kind.[(triple6 OR ((((triple3 triple2) -> rule2) triple7 ((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1)) -> rule3))] Bob is nice.[(triple5)] Bob is red.[(triple4 OR ((triple2 triple7) -> rule5))] Bob is rough.[(triple3)] Bob is round.[(triple2)] Gary is blue.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Bob is blue.[(((triple3 triple2) -> rule2) OR ((triple8 triple6) -> rule4))] @2: Bob is young.[(((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1))] @3: Bob is cold.[(((triple5 ((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1)) -> rule6) OR ((triple5 ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1)) -> rule6))]