あの秘書課がしかつめらしいとすればあの歯科医は成功者でない
fact1: あの秘書課はプログラム化する fact2: あの歯科医は成功者である fact3: 仮にとある物は口汚くないとしたら「変化し続ける一方でしかつめらしくない」ということは成り立たない fact4: 仮にあの秘書課がしかつめらしいとしたらあの歯科医は成功者だ fact5: この二重線は口汚い fact6: この二重線はしかつめらしい fact7: あの秘書課は構成し直さないとしたらそれはファミリー・サポート・センター事業でない fact8: もしあの秘書課がしかつめらしいしおまけに掴み掛かるならばあの歯科医は成功者だ fact9: もしもあの秘書課はファミリー・サポート・センター事業でないとしたら「この二重線はしかつめらしいということはないか成功者であるかもしくは両方ともだ」ということは間違いである fact10: 仮に何らかのものは口汚くないとすれば「変化し続けないし加えて掴み掛かる」ということは誤りである fact11: もしも「この二重線は変化し続ける」ということは成り立つとすればあの秘書課は掴み掛かる fact12: あの秘書課がしかつめらしいし掴み掛かるとしたらあの歯科医は成功者だということはない fact13: もし仮に「なにかはしかつめらしくないかまたは成功者であるか両方ともだ」ということは成り立たないならばそれは口汚くない fact14: もし仮に「なんらかの物は変化し続けるけれどしかつめらしくない」ということは誤りであるならそれはしかつめらしい fact15: 仮にこの二重線が口汚いとするとそれは変化し続ける
fact15 & fact5 -> int1: この二重線は変化し続ける; int1 & fact11 -> int2: あの秘書課は掴み掛かる; void -> assump1: 以下のように仮定する。「あの秘書課はしかつめらしい」ということは本当だ; int2 & assump1 -> int3: あの秘書課はしかつめらしいしおまけに掴み掛かる; int3 & fact12 -> int4: あの歯科医は成功者でない; [assump1] & int4 -> hypothesis;
この休業はしかつめらしい
fact16 -> int5: もし仮に「この休業は変化し続けるがしかつめらしくない」ということは成り立たないとすればそれはしかつめらしい; fact17 -> int6: 「この休業は口汚くないとすれば「この休業は変化し続ける一方でしかつめらしくない」ということは事実と異なる」ということは成り立つ;
$facts$ = fact1: あの秘書課はプログラム化する fact2: あの歯科医は成功者である fact3: 仮にとある物は口汚くないとしたら「変化し続ける一方でしかつめらしくない」ということは成り立たない fact4: 仮にあの秘書課がしかつめらしいとしたらあの歯科医は成功者だ fact5: この二重線は口汚い fact6: この二重線はしかつめらしい fact7: あの秘書課は構成し直さないとしたらそれはファミリー・サポート・センター事業でない fact8: もしあの秘書課がしかつめらしいしおまけに掴み掛かるならばあの歯科医は成功者だ fact9: もしもあの秘書課はファミリー・サポート・センター事業でないとしたら「この二重線はしかつめらしいということはないか成功者であるかもしくは両方ともだ」ということは間違いである fact10: 仮に何らかのものは口汚くないとすれば「変化し続けないし加えて掴み掛かる」ということは誤りである fact11: もしも「この二重線は変化し続ける」ということは成り立つとすればあの秘書課は掴み掛かる fact12: あの秘書課がしかつめらしいし掴み掛かるとしたらあの歯科医は成功者だということはない fact13: もし仮に「なにかはしかつめらしくないかまたは成功者であるか両方ともだ」ということは成り立たないならばそれは口汚くない fact14: もし仮に「なんらかの物は変化し続けるけれどしかつめらしくない」ということは誤りであるならそれはしかつめらしい fact15: 仮にこの二重線が口汚いとするとそれは変化し続ける ; $hypothesis$ = あの秘書課がしかつめらしいとすればあの歯科医は成功者でない ; $proof$ = 
fact15 & fact5 -> int1: この二重線は変化し続ける; int1 & fact11 -> int2: あの秘書課は掴み掛かる; void -> assump1: 以下のように仮定する。「あの秘書課はしかつめらしい」ということは本当だ; int2 & assump1 -> int3: あの秘書課はしかつめらしいしおまけに掴み掛かる; int3 & fact12 -> int4: あの歯科医は成功者でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの秘書課はプログラム化する
事実2: あの歯科医は成功者である
事実3: 仮にとある物は口汚くないとしたら「変化し続ける一方でしかつめらしくない」ということは成り立たない
事実4: 仮にあの秘書課がしかつめらしいとしたらあの歯科医は成功者だ
事実5: この二重線は口汚い
事実6: この二重線はしかつめらしい
事実7: あの秘書課は構成し直さないとしたらそれはファミリー・サポート・センター事業でない
事実8: もしあの秘書課がしかつめらしいしおまけに掴み掛かるならばあの歯科医は成功者だ
事実9: もしもあの秘書課はファミリー・サポート・センター事業でないとしたら「この二重線はしかつめらしいということはないか成功者であるかもしくは両方ともだ」ということは間違いである
事実10: 仮に何らかのものは口汚くないとすれば「変化し続けないし加えて掴み掛かる」ということは誤りである
事実11: もしも「この二重線は変化し続ける」ということは成り立つとすればあの秘書課は掴み掛かる
事実12: あの秘書課がしかつめらしいし掴み掛かるとしたらあの歯科医は成功者だということはない
事実13: もし仮に「なにかはしかつめらしくないかまたは成功者であるか両方ともだ」ということは成り立たないならばそれは口汚くない
事実14: もし仮に「なんらかの物は変化し続けるけれどしかつめらしくない」ということは誤りであるならそれはしかつめらしい
事実15: 仮にこの二重線が口汚いとするとそれは変化し続ける

仮説: あの秘書課がしかつめらしいとすればあの歯科医は成功者でない
1. 事実15と事実5から、推論1: "この二重線は変化し続ける"が導かれる
2. 推論1と事実11から、推論2: "あの秘書課は掴み掛かる"が導かれる
3. 仮定1: 以下のように仮定する。「あの秘書課はしかつめらしい」ということは本当だ
4. 推論2と仮定1から、推論3: "あの秘書課はしかつめらしいしおまけに掴み掛かる"が導かれる
5. 推論3と事実12から、推論4: "あの歯科医は成功者でない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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