Alan has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. Gary is big and round for being so young. He ate some spoiled food that has him feeling green. This Harry guy is red. He is also kind and yet cold. Whoever is rough and red must be kind. Young people who wear red lipstick are certainly kind. You can tell if someone is big, kind, and young, then they are also nice. A kind person who is big in size is definitely young. A person who is green and kind is usually rather big. Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Alan is young.
@0: Alan is green.[(triple5)] Alan is nice.[(triple4 OR ((((triple5 ((triple2 triple3) -> rule1)) -> rule5) ((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule3))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is red.[(triple10)] @1: Alan is kind.[(((triple2 triple3) -> rule1))] @2: Alan is big.[(((triple5 ((triple2 triple3) -> rule1)) -> rule5))] @3: Alan is young.[(((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]