Alan, who is relatively young, is also pretty big and tends to be cold. No one knows Charlie like me and he is a kind guy, very round in the belly and green as grass. Eric has big, red cheeks with a rough texture. He always wear green sweaters because he is easily cold. That guy Gary sure is nice. Rough people who are red in color and big are usally round in shape. A rather big person is a red person. Young people that are turning blue from being cold will be rough looking. When someone is green and round, they can be rough but kind. People with big smiles and round eyes will have red hair. Is a kind person if feeling cold and looking red then they are usually young. Red people, who are also round and young, are often quite blue as well.
Charlie is not red.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple6)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Eric is big.[(triple11)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is red.[(triple8 OR ((triple11) -> rule2))] Eric is rough.[(triple7)] Gary is nice.[(triple12)] @1: Alan is red.[(((triple3) -> rule2))] Eric is round.[(((triple8 triple7 triple11) -> rule1) OR ((((triple11) -> rule2) triple7 triple11) -> rule1))] @2: Eric is kind.[(((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4) OR ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4))] @3: Eric is young.[(((triple10 triple8 ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6) OR ((triple10 ((triple11) -> rule2) ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6) OR ((triple10 triple8 ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6) OR ((triple10 ((triple11) -> rule2) ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6))] @4: Eric is blue.[(((triple8 ((triple8 triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((triple8 triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((triple8 triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((triple8 triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((triple8 triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((triple8 triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((triple8 triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((triple8 triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((triple8 triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 triple8 ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7) OR ((((triple11) -> rule2) ((((triple11) -> rule2) triple7 triple11) -> rule1) ((triple10 ((triple11) -> rule2) ((triple9 ((((triple11) -> rule2) triple7 triple11) -> rule1) triple7) -> rule4)) -> rule6)) -> rule7))]