仮にあのＧＨＱ側が否定し難くないとしたらあの一升瓶は了知出来ない
fact1: もしも「あのＧＨＱ側は否定し難くない」ということは成り立つなら思わしくないし痒くない fact2: もしあのＧＨＱ側が思わしくないし痒くないとするとあの一升瓶は了知出来ない fact3: もしあのＧＨＱ側が痒くないし了知出来ないとしたらあの一升瓶は否定し難い fact4: あの一升瓶は痒くなくてしかも待ち受けない fact5: あのＧＨＱ側は否定し難くないしかつそれは了知出来ない fact6: もし仮にあのＧＨＱ側が思わしい一方で痒くないとすればあの一升瓶は了知出来ない fact7: もし仮にとある物が否定し難いならばそれは痒くない fact8: なにがしかの物が写真投影法であるということはないとするとそれは否定し難くてかつ了知出来る
void -> assump1: 以下のように仮定する。あのＧＨＱ側は否定し難くない; fact1 & assump1 -> int1: あのＧＨＱ側は思わしくないしおまけにそれは痒いということはない; int1 & fact2 -> int2: あの一升瓶は了知出来ない; [assump1] & int2 -> hypothesis;
この一Ｄは痒くない
fact10 -> int3: もし「この一Ｄは否定し難い」ということは成り立つとすれば「痒くない」ということは誤りでない; fact9 -> int4: もし仮に「この一Ｄは写真投影法でない」ということは成り立つとしたらそれは否定し難くて了知出来る;
$facts$ = fact1: もしも「あのＧＨＱ側は否定し難くない」ということは成り立つなら思わしくないし痒くない fact2: もしあのＧＨＱ側が思わしくないし痒くないとするとあの一升瓶は了知出来ない fact3: もしあのＧＨＱ側が痒くないし了知出来ないとしたらあの一升瓶は否定し難い fact4: あの一升瓶は痒くなくてしかも待ち受けない fact5: あのＧＨＱ側は否定し難くないしかつそれは了知出来ない fact6: もし仮にあのＧＨＱ側が思わしい一方で痒くないとすればあの一升瓶は了知出来ない fact7: もし仮にとある物が否定し難いならばそれは痒くない fact8: なにがしかの物が写真投影法であるということはないとするとそれは否定し難くてかつ了知出来る ; $hypothesis$ = 仮にあのＧＨＱ側が否定し難くないとしたらあの一升瓶は了知出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＧＨＱ側は否定し難くない; fact1 & assump1 -> int1: あのＧＨＱ側は思わしくないしおまけにそれは痒いということはない; int1 & fact2 -> int2: あの一升瓶は了知出来ない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしも「あのＧＨＱ側は否定し難くない」ということは成り立つなら思わしくないし痒くない
事実2: もしあのＧＨＱ側が思わしくないし痒くないとするとあの一升瓶は了知出来ない
事実3: もしあのＧＨＱ側が痒くないし了知出来ないとしたらあの一升瓶は否定し難い
事実4: あの一升瓶は痒くなくてしかも待ち受けない
事実5: あのＧＨＱ側は否定し難くないしかつそれは了知出来ない
事実6: もし仮にあのＧＨＱ側が思わしい一方で痒くないとすればあの一升瓶は了知出来ない
事実7: もし仮にとある物が否定し難いならばそれは痒くない
事実8: なにがしかの物が写真投影法であるということはないとするとそれは否定し難くてかつ了知出来る

仮説: 仮にあのＧＨＱ側が否定し難くないとしたらあの一升瓶は了知出来ない
1. 仮定1: 以下のように仮定する。あのＧＨＱ側は否定し難くない
2. 事実1と仮定1から、推論1: "あのＧＨＱ側は思わしくないしおまけにそれは痒いということはない"が導かれる
3. 推論1と事実2から、推論2: "あの一升瓶は了知出来ない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。