If you meet Charlie, you will know that he is young, red and kind. Young Dave is nice and round.  When he's cold, he is also quite rough. Harry is a young person who often feels blue and cold. People who are round and red are young. Someone with a nice, round, kind nature tends to be green. A rough person who is green will be round. A nice person who is also round will always be big. It is a universal truth that whoever is young and round and big must also be kind.
Harry is not red.
@0: Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple8)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is young.[(triple9)] @1: Dave is big.[(((triple7 triple5) -> rule4))] @2: Dave is kind.[(((triple4 triple5 ((triple7 triple5) -> rule4)) -> rule5))] @3: Dave is green.[(((triple7 triple5 ((triple4 triple5 ((triple7 triple5) -> rule4)) -> rule5)) -> rule2))]