If you meet Charlie, you will know that he is young, red and kind. Dave feels blue because the other kids made fun of his round shape. If you meet Eric, you will know that he is young, red and kind. Harry is a young , Round fellow with a red color and nice disposition. If you come across a cold, red person with a round shape you'll find they are nice people. Kind and round people are often cold to people. Maybe someone is round and rough but wears green shoes. A guy or girl that's round, kind and young is going to be a big girl or guy, too. A nice round person is big. A blue person in color will be a cold temperature, big in shape and will definitely be green. It is a universal truth that whoever is young and round and big must also be kind.
Harry is not big.
@0: Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is blue.[(triple5)] Dave is round.[(triple4)] Eric is kind.[(triple8)] Eric is red.[(triple7)] Eric is young.[(triple6)] Harry is nice.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Harry is big.[(((triple10 triple12) -> rule5))] @2: Harry is kind.[(((triple9 triple10 ((triple10 triple12) -> rule5)) -> rule7))] @3: Harry is cold.[(((((triple9 triple10 ((triple10 triple12) -> rule5)) -> rule7) triple10) -> rule2))]