From a certain angle Alan is blue but he is young so maybe that will go away. Most everyone considers Charlie a rough fellow, but very kind. He's often categorized as blue, and he's big. I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred is so young and darling he is kind to all the old people on the block. It's a fact that young people are red people. People who are blue and red and kind are described as being green. If a person that is kind is big and blue they have to be young. You will discover that green rough people are always red. Anyone will tell you the kind and the big are also rough. Big people that are also rough, are ultimately round.
Fred is not round.
@0: Alan is blue.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3 OR ((triple6 triple4) -> rule5))] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Fred is kind.[(triple11)] Fred is young.[(triple10)] @1: Alan is red.[(((triple1) -> rule1))] Charlie is round.[(((triple6 triple3) -> rule6) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule6))] Charlie is young.[(((triple5 triple4 triple6) -> rule3))] Fred is red.[(((triple10) -> rule1))] @2: Charlie is red.[(((((triple5 triple4 triple6) -> rule3)) -> rule1))] @3: Charlie is green.[(((((((triple5 triple4 triple6) -> rule3)) -> rule1) triple4 triple5) -> rule2))]