Alan is a big guy who is colored red from a sunburn. He also has a cold. Eric seems to be round. Gary was proud of being round, yet rough. His red cheeks glowed. Harry seems big and rough, but he's actually quite kind. Even though young people are rough, they are still very red. Anybody young person covered in blue and green will be kind. Anyone who is both red and green must be as cold as Christmas. Anyone having rough, cold and green qualities will also have a big quality. Most young kind people tend to be red too. If someone shows that they are red, then they are also showing that they are green.
Harry is nice.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2 OR ((triple1 ((triple1) -> rule6)) -> rule3))] Alan is red.[(triple1)] Eric is round.[(triple4)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is rough.[(triple8)] @1: Alan is green.[(((triple1) -> rule6))] Gary is green.[(((triple7) -> rule6))] @2: Gary is cold.[(((triple7 ((triple7) -> rule6)) -> rule3))] @3: Gary is big.[(((triple6 ((triple7 ((triple7) -> rule6)) -> rule3) ((triple7) -> rule6)) -> rule4))]