「もしあの六十九年頃が姓氏であるということはないとすればその天城側は能率アップでない一方でそれは父親らしい」ということは間違いである
fact1: その天城側が第一次試験だしその上それは父親らしい fact2: もし仮にあの六十九年頃が姓氏でないとするとその天城側は能率アップでない fact3: あの六十九年頃は第一次試験である fact4: もしも「あの六十九年頃はスカウトマンでそれは届き難い」ということは本当でないならその特許状は第一次試験でない fact5: もし仮にあの六十九年頃が姓氏ならその天城側は能率アップであるということはないけど父親らしい fact6: もし仮にあの六十九年頃が姓氏ならその天城側は能率アップでない fact7: その役場事務組合は能率アップである fact8: あの六十九年頃は慎み深いしさらにそれは能率アップだ fact9: 「あの六十九年頃はスカウトマンであるし届き難い」ということは成り立たない
void -> assump1: 以下のように仮定する。あの六十九年頃は姓氏でない; fact2 & assump1 -> int1: 「その天城側は能率アップでない」ということは真実である; fact1 -> int2: 「その天城側は父親らしい」ということは成り立つ; int1 & int2 -> int3: その天城側は能率アップでない一方で父親らしい; [assump1] & int3 -> hypothesis;
その特許状は第一次試験でないがしかしそれは検出する
fact10 & fact11 -> int4: その特許状は第一次試験でない;
$facts$ = fact1: その天城側が第一次試験だしその上それは父親らしい fact2: もし仮にあの六十九年頃が姓氏でないとするとその天城側は能率アップでない fact3: あの六十九年頃は第一次試験である fact4: もしも「あの六十九年頃はスカウトマンでそれは届き難い」ということは本当でないならその特許状は第一次試験でない fact5: もし仮にあの六十九年頃が姓氏ならその天城側は能率アップであるということはないけど父親らしい fact6: もし仮にあの六十九年頃が姓氏ならその天城側は能率アップでない fact7: その役場事務組合は能率アップである fact8: あの六十九年頃は慎み深いしさらにそれは能率アップだ fact9: 「あの六十九年頃はスカウトマンであるし届き難い」ということは成り立たない ; $hypothesis$ = 「もしあの六十九年頃が姓氏であるということはないとすればその天城側は能率アップでない一方でそれは父親らしい」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの六十九年頃は姓氏でない; fact2 & assump1 -> int1: 「その天城側は能率アップでない」ということは真実である; fact1 -> int2: 「その天城側は父親らしい」ということは成り立つ; int1 & int2 -> int3: その天城側は能率アップでない一方で父親らしい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その天城側が第一次試験だしその上それは父親らしい
事実2: もし仮にあの六十九年頃が姓氏でないとするとその天城側は能率アップでない
事実3: あの六十九年頃は第一次試験である
事実4: もしも「あの六十九年頃はスカウトマンでそれは届き難い」ということは本当でないならその特許状は第一次試験でない
事実5: もし仮にあの六十九年頃が姓氏ならその天城側は能率アップであるということはないけど父親らしい
事実6: もし仮にあの六十九年頃が姓氏ならその天城側は能率アップでない
事実7: その役場事務組合は能率アップである
事実8: あの六十九年頃は慎み深いしさらにそれは能率アップだ
事実9: 「あの六十九年頃はスカウトマンであるし届き難い」ということは成り立たない

仮説: 「もしあの六十九年頃が姓氏であるということはないとすればその天城側は能率アップでない一方でそれは父親らしい」ということは間違いである
1. 仮定1: 以下のように仮定する。あの六十九年頃は姓氏でない
2. 事実2と仮定1から、推論1: "「その天城側は能率アップでない」ということは真実である"が導かれる
3. 事実1から、推論2: "「その天城側は父親らしい」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "その天城側は能率アップでない一方で父親らしい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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