Young Alan is quite nice, and because he is so round can be considered quite big. From a certain angle Charlie is blue but he is young so maybe that will go away. Big Eric is still young so it's easy for him to be kind. This Gary guy is red. He is also kind and yet cold. Most young, green people are kind and because of this they are round. Big, young people feel cold all the time. Nice people who have red cold skin are round. Being kind and young means that if they are also blue, they are always red. A young, cold person is often blue. If someone is feeling blue and round in shape they are usually nice. John is round and rough, meaning that he is someone that is seen as green.
Gary is not young.
@0: Alan is big.[(triple4)] Alan is nice.[(triple3 OR ((((((triple1 triple4) -> rule2) triple1) -> rule5) triple2) -> rule6))] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is young.[(triple5)] Eric is big.[(triple9)] Eric is kind.[(triple8)] Eric is young.[(triple7)] Gary is cold.[(triple12)] Gary is kind.[(triple11)] Gary is red.[(triple10)] @1: Alan is cold.[(((triple1 triple4) -> rule2))] Eric is cold.[(((triple7 triple9) -> rule2))] @2: Alan is blue.[(((((triple1 triple4) -> rule2) triple1) -> rule5))] Eric is blue.[(((((triple7 triple9) -> rule2) triple7) -> rule5))] @3: Eric is red.[(((((((triple7 triple9) -> rule2) triple7) -> rule5) triple8 triple7) -> rule4))]