そのＨＣＥは付き易い
fact1: そのＨＣＥは振るわない fact2: そのポパは慇懃でないしそれは衣冠姿でない fact3: そのポパは衣冠姿でないとすれば「それは使い難いししかも綴り込む」ということは確かでない fact4: もしも「そのポパは使い難いけど綴り込むということはない」ということは成り立たないならばそのＨＣＥは合併出来る fact5: もしもそのＨＣＥが使い難いとするとそのポパは合併出来る fact6: もしあるものが合併出来るとしたら付き易い fact7: もし仮になにかは衣冠姿であるとすれば「それは付き易くない」ということは成り立つ fact8: 仮にそのＨＣＥはウインドーズマシンでないか慇懃でないかまたはどちらもであるとしたら慇懃だということはない fact9: もしも「とある物は衣冠姿でない」ということは本当ならば「それは使い難いがしかし綴り込むということはない」ということは間違っている fact10: 仮に何らかの物は付き易いということはないとすると「合併出来なくて衣冠姿でない」ということは誤りだ fact11: 「あの御気持ちが合併出来ないしさらに衣冠姿でない」ということは間違っているとしたら「そのＨＣＥは綴り込まない」ということは正しい
fact9 -> int1: もしもそのポパは衣冠姿でないなら「それは使い難くて更にそれは綴り込まない」ということは成り立たない; fact2 -> int2: そのポパは衣冠姿でない; int1 & int2 -> int3: 「そのポパは使い難い一方で綴り込むということはない」ということは事実でない; int3 & fact4 -> int4: そのＨＣＥは合併出来る; fact6 -> int5: そのＨＣＥが合併出来るとすればそれは付き易い; int4 & int5 -> hypothesis;
そのＨＣＥは綴り込まない
fact12 -> int6: もしもあの御気持ちは付き易くないとすれば「合併出来ないしさらに衣冠姿だということはない」ということは事実と異なる;
$facts$ = fact1: そのＨＣＥは振るわない fact2: そのポパは慇懃でないしそれは衣冠姿でない fact3: そのポパは衣冠姿でないとすれば「それは使い難いししかも綴り込む」ということは確かでない fact4: もしも「そのポパは使い難いけど綴り込むということはない」ということは成り立たないならばそのＨＣＥは合併出来る fact5: もしもそのＨＣＥが使い難いとするとそのポパは合併出来る fact6: もしあるものが合併出来るとしたら付き易い fact7: もし仮になにかは衣冠姿であるとすれば「それは付き易くない」ということは成り立つ fact8: 仮にそのＨＣＥはウインドーズマシンでないか慇懃でないかまたはどちらもであるとしたら慇懃だということはない fact9: もしも「とある物は衣冠姿でない」ということは本当ならば「それは使い難いがしかし綴り込むということはない」ということは間違っている fact10: 仮に何らかの物は付き易いということはないとすると「合併出来なくて衣冠姿でない」ということは誤りだ fact11: 「あの御気持ちが合併出来ないしさらに衣冠姿でない」ということは間違っているとしたら「そのＨＣＥは綴り込まない」ということは正しい ; $hypothesis$ = そのＨＣＥは付き易い ; $proof$ = 
fact9 -> int1: もしもそのポパは衣冠姿でないなら「それは使い難くて更にそれは綴り込まない」ということは成り立たない; fact2 -> int2: そのポパは衣冠姿でない; int1 & int2 -> int3: 「そのポパは使い難い一方で綴り込むということはない」ということは事実でない; int3 & fact4 -> int4: そのＨＣＥは合併出来る; fact6 -> int5: そのＨＣＥが合併出来るとすればそれは付き易い; int4 & int5 -> hypothesis; __PROVED__
事実1: そのＨＣＥは振るわない
事実2: そのポパは慇懃でないしそれは衣冠姿でない
事実3: そのポパは衣冠姿でないとすれば「それは使い難いししかも綴り込む」ということは確かでない
事実4: もしも「そのポパは使い難いけど綴り込むということはない」ということは成り立たないならばそのＨＣＥは合併出来る
事実5: もしもそのＨＣＥが使い難いとするとそのポパは合併出来る
事実6: もしあるものが合併出来るとしたら付き易い
事実7: もし仮になにかは衣冠姿であるとすれば「それは付き易くない」ということは成り立つ
事実8: 仮にそのＨＣＥはウインドーズマシンでないか慇懃でないかまたはどちらもであるとしたら慇懃だということはない
事実9: もしも「とある物は衣冠姿でない」ということは本当ならば「それは使い難いがしかし綴り込むということはない」ということは間違っている
事実10: 仮に何らかの物は付き易いということはないとすると「合併出来なくて衣冠姿でない」ということは誤りだ
事実11: 「あの御気持ちが合併出来ないしさらに衣冠姿でない」ということは間違っているとしたら「そのＨＣＥは綴り込まない」ということは正しい

仮説: そのＨＣＥは付き易い
1. 事実9から、推論1: "もしもそのポパは衣冠姿でないなら「それは使い難くて更にそれは綴り込まない」ということは成り立たない"が導かれる
2. 事実2から、推論2: "そのポパは衣冠姿でない"が導かれる
3. 推論1と推論2から、推論3: "「そのポパは使い難い一方で綴り込むということはない」ということは事実でない"が導かれる
4. 推論3と事実4から、推論4: "そのＨＣＥは合併出来る"が導かれる
5. 事実6から、推論5: "そのＨＣＥが合併出来るとすればそれは付き易い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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