その吹きガラス技法は理解し易くない
fact1: 「ザＹでなくてまた岡惚れしない」ものはある fact2: 仮にその構造プログラムが熱っぽくておまけにそれが等しならばその吹きガラス技法は理解し易くない fact3: もし仮になにがしかのものがザＹであるけどそれが岡惚れしないならばその構造プログラムは等し fact4: 「ザＹでない」物はある fact5: そのボトル水は易し fact6: もしそのボトル水が易しとするとその構造プログラムは熱っぽい fact7: もし「ザＹでなくてまた岡惚れしない」物があるならその構造プログラムは等し
fact1 & fact7 -> int1: その構造プログラムは等し; fact6 & fact5 -> int2: その構造プログラムは熱っぽい; int1 & int2 -> int3: その構造プログラムは熱っぽいしそれに等し; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「ザＹでなくてまた岡惚れしない」ものはある fact2: 仮にその構造プログラムが熱っぽくておまけにそれが等しならばその吹きガラス技法は理解し易くない fact3: もし仮になにがしかのものがザＹであるけどそれが岡惚れしないならばその構造プログラムは等し fact4: 「ザＹでない」物はある fact5: そのボトル水は易し fact6: もしそのボトル水が易しとするとその構造プログラムは熱っぽい fact7: もし「ザＹでなくてまた岡惚れしない」物があるならその構造プログラムは等し ; $hypothesis$ = その吹きガラス技法は理解し易くない ; $proof$ = 
fact1 & fact7 -> int1: その構造プログラムは等し; fact6 & fact5 -> int2: その構造プログラムは熱っぽい; int1 & int2 -> int3: その構造プログラムは熱っぽいしそれに等し; int3 & fact2 -> hypothesis; __PROVED__
事実1: 「ザＹでなくてまた岡惚れしない」ものはある
事実2: 仮にその構造プログラムが熱っぽくておまけにそれが等しならばその吹きガラス技法は理解し易くない
事実3: もし仮になにがしかのものがザＹであるけどそれが岡惚れしないならばその構造プログラムは等し
事実4: 「ザＹでない」物はある
事実5: そのボトル水は易し
事実6: もしそのボトル水が易しとするとその構造プログラムは熱っぽい
事実7: もし「ザＹでなくてまた岡惚れしない」物があるならその構造プログラムは等し

仮説: その吹きガラス技法は理解し易くない
1. 事実1と事実7から、推論1: "その構造プログラムは等し"が導かれる
2. 事実6と事実5から、推論2: "その構造プログラムは熱っぽい"が導かれる
3. 推論1と推論2から、推論3: "その構造プログラムは熱っぽいしそれに等し"が導かれる
4. 推論3と事実2から、仮説が導かれる

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