Alan is so big and round, it's hard to tell he is red, green and blue all at once. Charlie, like all young people, is nice. They always call him rough Dave. Fred ate some rotten meat and now feels green. A cold and young aged person will be big for sure. Blue and red people are often rough. When someone is blue, lives green they can be rough but kind. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. Cold and kind people tend to be blue. People that are green tend to be young. When you meet kind people they wont have a cold heart.
Alan is not cold.
@0: Alan is big.[(triple5 OR ((((triple3) -> rule6) ((((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3)) -> rule7)) -> rule1))] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is nice.[(triple7)] Charlie is young.[(triple6)] Dave is rough.[(triple8)] Fred is green.[(triple9)] @1: Alan is nice.[(((triple4 triple2 triple1) -> rule4))] Alan is rough.[(((triple4 triple2) -> rule2))] Alan is young.[(((triple3) -> rule6))] Fred is young.[(((triple9) -> rule6))] @2: Alan is kind.[(((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3))] @3: Alan is cold.[(((((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3)) -> rule7))]