Even though Bob is big and round, he is cold much of the time. Young, round Charlie is green and very cold, but also nice. My friend Dave is very young. People say he is nice for having a round shape. Because someone is green and kind they are extremely nice to people. A nice person who is always seen to be wearing green clothes will be rather big in size. When someone feels cold, while being big and rough, they always turn out to be red. You can count on someone who is red and green being young. Anyone who's got young, round and big traits is bound to have a red trait, too. John is round and rough, meaning that he is someone that is seen as green. People who are cold and and red are also young and kind.
Charlie is not big.
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is round.[(triple1)] Charlie is cold.[(triple8)] Charlie is green.[(triple7)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is nice.[(triple11)] Dave is round.[(triple10)] Dave is young.[(triple9)] @1: Charlie is big.[(((triple7 triple6) -> rule2))] @2: Charlie is red.[(((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5))] @3: Charlie is kind.[(((((triple4 ((triple7 triple6) -> rule2) triple5) -> rule5) triple4 triple8) -> rule7))]