もしその花壇が御すとすればあの国民保健サービスは穴埋めしない
fact1: 仮に際限無くない物が困り果てればそれは御すない fact2: もし仮に「あの国民保健サービスは際限無くないししかも困り果てない」ということは誤っているとするとその花壇は御すない fact3: 仮にあの国民保健サービスが御すないとするとあの全体傾向は穴埋めするけどそれは困り果てない fact4: もしもあの国民保健サービスは選択し易くないとするとそれは安山岩であるがしかし御すない fact5: 「あの国民保健サービスは際限無くない一方でそれは困り果てる」ということは本当でない fact6: 仮に「その花壇は穴埋めしなくて困り果てない」ということは本当でないならば「あの国民保健サービスは御すない」ということは正しい fact7: もし仮に際限無くない物が困り果てないとしたらそれは穴埋めするということはない fact8: 仮にその花壇が御すならばあの国民保健サービスは穴埋めする
void -> assump2: 以下のように仮定する。「あの国民保健サービスは際限無くなくてそれは困り果てない」ということは事実と異なる; fact2 & assump2 -> int1: その花壇は御すない; void -> assump1: 以下のように仮定する。その花壇は御す; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの国民保健サービスは際限無くなくて困り果てない; fact7 -> int4: 仮にあの国民保健サービスが際限無いということはないしさらにそれが困り果てないなら穴埋めするということはない; int3 & int4 -> int5: あの国民保健サービスは穴埋めしない; [assump1] & int5 -> hypothesis;
あの全体傾向は困り果てない
$facts$ = fact1: 仮に際限無くない物が困り果てればそれは御すない fact2: もし仮に「あの国民保健サービスは際限無くないししかも困り果てない」ということは誤っているとするとその花壇は御すない fact3: 仮にあの国民保健サービスが御すないとするとあの全体傾向は穴埋めするけどそれは困り果てない fact4: もしもあの国民保健サービスは選択し易くないとするとそれは安山岩であるがしかし御すない fact5: 「あの国民保健サービスは際限無くない一方でそれは困り果てる」ということは本当でない fact6: 仮に「その花壇は穴埋めしなくて困り果てない」ということは本当でないならば「あの国民保健サービスは御すない」ということは正しい fact7: もし仮に際限無くない物が困り果てないとしたらそれは穴埋めするということはない fact8: 仮にその花壇が御すならばあの国民保健サービスは穴埋めする ; $hypothesis$ = もしその花壇が御すとすればあの国民保健サービスは穴埋めしない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの国民保健サービスは際限無くなくてそれは困り果てない」ということは事実と異なる; fact2 & assump2 -> int1: その花壇は御すない; void -> assump1: 以下のように仮定する。その花壇は御す; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの国民保健サービスは際限無くなくて困り果てない; fact7 -> int4: 仮にあの国民保健サービスが際限無いということはないしさらにそれが困り果てないなら穴埋めするということはない; int3 & int4 -> int5: あの国民保健サービスは穴埋めしない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に際限無くない物が困り果てればそれは御すない
事実2: もし仮に「あの国民保健サービスは際限無くないししかも困り果てない」ということは誤っているとするとその花壇は御すない
事実3: 仮にあの国民保健サービスが御すないとするとあの全体傾向は穴埋めするけどそれは困り果てない
事実4: もしもあの国民保健サービスは選択し易くないとするとそれは安山岩であるがしかし御すない
事実5: 「あの国民保健サービスは際限無くない一方でそれは困り果てる」ということは本当でない
事実6: 仮に「その花壇は穴埋めしなくて困り果てない」ということは本当でないならば「あの国民保健サービスは御すない」ということは正しい
事実7: もし仮に際限無くない物が困り果てないとしたらそれは穴埋めするということはない
事実8: 仮にその花壇が御すならばあの国民保健サービスは穴埋めする

仮説: もしその花壇が御すとすればあの国民保健サービスは穴埋めしない
1. 仮定2: 以下のように仮定する。「あの国民保健サービスは際限無くなくてそれは困り果てない」ということは事実と異なる
2. 事実2と仮定2から、推論1: "その花壇は御すない"が導かれる
3. 仮定1: 以下のように仮定する。その花壇は御す
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの国民保健サービスは際限無くなくて困り果てない"が導かれる
6. 事実7から、推論4: "仮にあの国民保健サービスが際限無いということはないしさらにそれが困り果てないなら穴埋めするということはない"が導かれる
7. 推論3と推論4から、推論5: "あの国民保健サービスは穴埋めしない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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