あの一定額は収まり返らない
fact1: うら若いものは収まり返らない fact2: 「あの裏書きはうら若い」ということは真実であるとするとこの妖精は知る fact3: もしもこの妖精が知るとすればあの一定額は収まり返る fact4: あの裏書きはうら若い fact5: あのレセプションは知る fact6: あの裏書きは知る
fact2 & fact4 -> int1: この妖精は知る; int1 & fact3 -> hypothesis;
あの一定額は収まり返らない
fact7 -> int2: もしもあの一定額がうら若いならばそれは収まり返らない;
$facts$ = fact1: うら若いものは収まり返らない fact2: 「あの裏書きはうら若い」ということは真実であるとするとこの妖精は知る fact3: もしもこの妖精が知るとすればあの一定額は収まり返る fact4: あの裏書きはうら若い fact5: あのレセプションは知る fact6: あの裏書きは知る ; $hypothesis$ = あの一定額は収まり返らない ; $proof$ = 
fact2 & fact4 -> int1: この妖精は知る; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: うら若いものは収まり返らない
事実2: 「あの裏書きはうら若い」ということは真実であるとするとこの妖精は知る
事実3: もしもこの妖精が知るとすればあの一定額は収まり返る
事実4: あの裏書きはうら若い
事実5: あのレセプションは知る
事実6: あの裏書きは知る

仮説: あの一定額は収まり返らない
1. 事実2と事実4から、推論1: "この妖精は知る"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。