その二筋道は紅型でない
fact1: 仮に「あの実業学校は小鍋であるしおまけに踏み破る」ということは事実でないとすればその二筋道は紅型でない fact2: 「その和名抄は引き難くて春らしい」ということは成り立つということはない fact3: もし「その和名抄は引き難くて春らしい」ということは成り立たないならばその暗証番号は苦しくない fact4: もしも「ある物は紳士らしい」ということは本当であるとすれば「それはインストール画面でなくてまた同時履行でない」ということは誤っている fact5: 仮にその和名抄が回すならそれは苦しい fact6: 仮に「その暗証番号は苦しくない」ということは正しいとすると「その血圧値は紳士らしくないしおまけに回さない」ということは成り立つということはない fact7: もし仮に「「紳士らしいということはないし加えて回さない」ということは成り立たない」物があるならあの実業学校はプレーしない fact8: もしもとある物はプレーしないとすると「小鍋でしかも踏み破る」ということは誤りである
fact3 & fact2 -> int1: その暗証番号は苦しくない; int1 & fact6 -> int2: 「その血圧値は紳士らしいということはないし更に回さない」ということは事実と異なる; int2 -> int3: 「「紳士らしくないしまた回さない」ということは成り立つということはない」物はある; int3 & fact7 -> int4: あの実業学校はプレーするということはない; fact8 -> int5: もし仮にあの実業学校はプレーしないとすれば「小鍋であるしそれは踏み破る」ということは間違っている; int4 & int5 -> int6: 「あの実業学校は小鍋で加えて踏み破る」ということは成り立たない; int6 & fact1 -> hypothesis;
「「インストール画面でないしさらに同時履行でない」ということは事実と異なる」ものはある
fact9 -> int7: その和名抄は紳士らしいとすれば「それはインストール画面でなくて更にそれは同時履行でない」ということは誤っている;
$facts$ = fact1: 仮に「あの実業学校は小鍋であるしおまけに踏み破る」ということは事実でないとすればその二筋道は紅型でない fact2: 「その和名抄は引き難くて春らしい」ということは成り立つということはない fact3: もし「その和名抄は引き難くて春らしい」ということは成り立たないならばその暗証番号は苦しくない fact4: もしも「ある物は紳士らしい」ということは本当であるとすれば「それはインストール画面でなくてまた同時履行でない」ということは誤っている fact5: 仮にその和名抄が回すならそれは苦しい fact6: 仮に「その暗証番号は苦しくない」ということは正しいとすると「その血圧値は紳士らしくないしおまけに回さない」ということは成り立つということはない fact7: もし仮に「「紳士らしいということはないし加えて回さない」ということは成り立たない」物があるならあの実業学校はプレーしない fact8: もしもとある物はプレーしないとすると「小鍋でしかも踏み破る」ということは誤りである ; $hypothesis$ = その二筋道は紅型でない ; $proof$ = 
fact3 & fact2 -> int1: その暗証番号は苦しくない; int1 & fact6 -> int2: 「その血圧値は紳士らしいということはないし更に回さない」ということは事実と異なる; int2 -> int3: 「「紳士らしくないしまた回さない」ということは成り立つということはない」物はある; int3 & fact7 -> int4: あの実業学校はプレーするということはない; fact8 -> int5: もし仮にあの実業学校はプレーしないとすれば「小鍋であるしそれは踏み破る」ということは間違っている; int4 & int5 -> int6: 「あの実業学校は小鍋で加えて踏み破る」ということは成り立たない; int6 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「あの実業学校は小鍋であるしおまけに踏み破る」ということは事実でないとすればその二筋道は紅型でない
事実2: 「その和名抄は引き難くて春らしい」ということは成り立つということはない
事実3: もし「その和名抄は引き難くて春らしい」ということは成り立たないならばその暗証番号は苦しくない
事実4: もしも「ある物は紳士らしい」ということは本当であるとすれば「それはインストール画面でなくてまた同時履行でない」ということは誤っている
事実5: 仮にその和名抄が回すならそれは苦しい
事実6: 仮に「その暗証番号は苦しくない」ということは正しいとすると「その血圧値は紳士らしくないしおまけに回さない」ということは成り立つということはない
事実7: もし仮に「「紳士らしいということはないし加えて回さない」ということは成り立たない」物があるならあの実業学校はプレーしない
事実8: もしもとある物はプレーしないとすると「小鍋でしかも踏み破る」ということは誤りである

仮説: その二筋道は紅型でない
1. 事実3と事実2から、推論1: "その暗証番号は苦しくない"が導かれる
2. 推論1と事実6から、推論2: "「その血圧値は紳士らしいということはないし更に回さない」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「紳士らしくないしまた回さない」ということは成り立つということはない」物はある"が導かれる
4. 推論3と事実7から、推論4: "あの実業学校はプレーするということはない"が導かれる
5. 事実8から、推論5: "もし仮にあの実業学校はプレーしないとすれば「小鍋であるしそれは踏み破る」ということは間違っている"が導かれる
6. 推論4と推論5から、推論6: "「あの実業学校は小鍋で加えて踏み破る」ということは成り立たない"が導かれる
7. 推論6と事実1から、仮説が導かれる

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