Alan has big, red cheeks with a rough texture. He always wear green sweaters because he is easily cold. That guy Dave sure is nice. Eric may be round, but he is also kind. Fred may be round, but he is also kind. Young round people who are green are usually blue. A red hued and rough looking person is definitely a young person. A very nice person who is also green is certainly kind. People who are said to be big and nice are round. It's a certainty that any green, big and kind individual is going to be nice. If someone shows that they are red, then they are also showing that they are green. A young person who is big and rough and big is also usually round.
Alan is not big.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3 OR ((triple2) -> rule6))] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is nice.[(triple6)] Eric is kind.[(triple8)] Eric is round.[(triple7)] Fred is kind.[(triple10)] Fred is round.[(triple9)] @1: Alan is young.[(((triple2 triple1) -> rule2))] @2: Alan is round.[(((triple1 triple5 ((triple2 triple1) -> rule2)) -> rule7))] @3: Alan is blue.[(((((triple1 triple5 ((triple2 triple1) -> rule2)) -> rule7) ((triple2 triple1) -> rule2) triple3) -> rule1) OR ((((triple1 triple5 ((triple2 triple1) -> rule2)) -> rule7) ((triple2 triple1) -> rule2) ((triple2) -> rule6)) -> rule1))]