If you had seen the young round Alan you'd never believe he was the same red, green and rough Alan of today. Others enjoy Dave's company because he is so nice and kind. Even though Eric is big and round, he is cold much of the time. Young Harry is wearing green pants. People who can be kind when they are cold are fundamentally nice. A person who is cold but red, and big in size is young for sure. There could be a round someone with red hair wearing blue pants. If you meet a kind green person with a round shape they will also be young. A round and blue individual will also be a cold individual. Someone with the traits of being cold and red is also going to be someone who is big. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Alan is not big.
@0: Alan is green.[(triple5)] Alan is red.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1 OR ((triple4 ((((triple2 ((triple4 triple2) -> rule3)) -> rule5) triple4) -> rule6) ((triple2 ((triple4 triple2) -> rule3)) -> rule5)) -> rule2))] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is round.[(triple8)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Alan is blue.[(((triple4 triple2) -> rule3))] @2: Alan is cold.[(((triple2 ((triple4 triple2) -> rule3)) -> rule5))] @3: Alan is big.[(((((triple2 ((triple4 triple2) -> rule3)) -> rule5) triple4) -> rule6))]