このＨＴＭＬ表はポテンツだ
fact1: このＨＴＭＬ表は管理資料でない fact2: もし仮に「このＨＴＭＬ表はポテンツであるが管理資料でない」ということは間違っているならばあの共済年金は出願しない fact3: あの共済年金は出願する fact4: もしあの共済年金がポテンツであるとしたらこのＨＴＭＬ表は出願するということはない fact5: もし仮に「その偏見打破は熱愛するがしかし眠たくない」ということは間違いだとすると熱愛しない fact6: もし「あの共済年金はポテンツだが管理資料でない」ということは成り立たないならばこのＨＴＭＬ表は出願しない fact7: もしもこのＨＴＭＬ表が出願するならばあの共済年金はポテンツであるということはない fact8: もし「このＨＴＭＬ表はマルトース発酵だがしかし出願しない」ということは誤りであるとすればこの回避義務違反はポテンツであるということはない fact9: 仮にあの共済年金は管理資料なら「このＨＴＭＬ表は出願しない」ということは事実である fact10: あの共済年金はポテンツでない fact11: 「あの共済年金は嘘っぽいけどそれは出願しない」ということは成り立たない fact12: 「とある物は隔絶しないとすれば「それはマルトース発酵だ一方で出願しない」ということは嘘だ」ということは誤りでない fact13: もし「このＨＴＭＬ表は出願する一方でポテンツであるということはない」ということは誤っているとしたらあの共済年金は管理資料であるということはない fact14: あのマップ要素は出願する fact15: もし「熱愛しない」ものがあるとすればあの共済年金は人知でなくてかつそれは隔絶しない fact16: 「その偏見打破は熱愛するがしかし眠たくない」ということは間違っている fact17: このＨＴＭＬ表は出願しない fact18: もし仮に「あるものは隔絶するけれど待ち遠しくない」ということは本当でないとすればそれは隔絶しない fact19: もし「あの共済年金は出願する一方でポテンツでない」ということは誤っているならこのＨＴＭＬ表は管理資料でない
void -> assump1: 以下のように仮定する。「このＨＴＭＬ表はポテンツであるがしかし管理資料でない」ということは誤っている; fact2 & assump1 -> int1: あの共済年金は出願しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このＨＴＭＬ表はポテンツである一方で管理資料でない; int3 -> hypothesis;
この回避義務違反はポテンツでない
fact25 -> int4: このＨＴＭＬ表は隔絶しないとすれば「マルトース発酵であるししかもそれは出願しない」ということは成り立たない; fact23 -> int5: もし「「このＨＴＭＬ表は隔絶するがしかし待ち遠しくない」ということは成り立たない」ということは事実だとしたら隔絶しない; fact21 & fact24 -> int6: その偏見打破は熱愛しない; int6 -> int7: 「熱愛しない」物はある; int7 & fact22 -> int8: あの共済年金は人知でなくておまけに隔絶しない; int8 -> int9: あの共済年金は隔絶しない; int9 -> int10: 「「隔絶しない」ということは真実である」ものはある;
$facts$ = fact1: このＨＴＭＬ表は管理資料でない fact2: もし仮に「このＨＴＭＬ表はポテンツであるが管理資料でない」ということは間違っているならばあの共済年金は出願しない fact3: あの共済年金は出願する fact4: もしあの共済年金がポテンツであるとしたらこのＨＴＭＬ表は出願するということはない fact5: もし仮に「その偏見打破は熱愛するがしかし眠たくない」ということは間違いだとすると熱愛しない fact6: もし「あの共済年金はポテンツだが管理資料でない」ということは成り立たないならばこのＨＴＭＬ表は出願しない fact7: もしもこのＨＴＭＬ表が出願するならばあの共済年金はポテンツであるということはない fact8: もし「このＨＴＭＬ表はマルトース発酵だがしかし出願しない」ということは誤りであるとすればこの回避義務違反はポテンツであるということはない fact9: 仮にあの共済年金は管理資料なら「このＨＴＭＬ表は出願しない」ということは事実である fact10: あの共済年金はポテンツでない fact11: 「あの共済年金は嘘っぽいけどそれは出願しない」ということは成り立たない fact12: 「とある物は隔絶しないとすれば「それはマルトース発酵だ一方で出願しない」ということは嘘だ」ということは誤りでない fact13: もし「このＨＴＭＬ表は出願する一方でポテンツであるということはない」ということは誤っているとしたらあの共済年金は管理資料であるということはない fact14: あのマップ要素は出願する fact15: もし「熱愛しない」ものがあるとすればあの共済年金は人知でなくてかつそれは隔絶しない fact16: 「その偏見打破は熱愛するがしかし眠たくない」ということは間違っている fact17: このＨＴＭＬ表は出願しない fact18: もし仮に「あるものは隔絶するけれど待ち遠しくない」ということは本当でないとすればそれは隔絶しない fact19: もし「あの共済年金は出願する一方でポテンツでない」ということは誤っているならこのＨＴＭＬ表は管理資料でない ; $hypothesis$ = このＨＴＭＬ表はポテンツだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このＨＴＭＬ表はポテンツであるがしかし管理資料でない」ということは誤っている; fact2 & assump1 -> int1: あの共済年金は出願しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このＨＴＭＬ表はポテンツである一方で管理資料でない; int3 -> hypothesis; __PROVED__
事実1: このＨＴＭＬ表は管理資料でない
事実2: もし仮に「このＨＴＭＬ表はポテンツであるが管理資料でない」ということは間違っているならばあの共済年金は出願しない
事実3: あの共済年金は出願する
事実4: もしあの共済年金がポテンツであるとしたらこのＨＴＭＬ表は出願するということはない
事実5: もし仮に「その偏見打破は熱愛するがしかし眠たくない」ということは間違いだとすると熱愛しない
事実6: もし「あの共済年金はポテンツだが管理資料でない」ということは成り立たないならばこのＨＴＭＬ表は出願しない
事実7: もしもこのＨＴＭＬ表が出願するならばあの共済年金はポテンツであるということはない
事実8: もし「このＨＴＭＬ表はマルトース発酵だがしかし出願しない」ということは誤りであるとすればこの回避義務違反はポテンツであるということはない
事実9: 仮にあの共済年金は管理資料なら「このＨＴＭＬ表は出願しない」ということは事実である
事実10: あの共済年金はポテンツでない
事実11: 「あの共済年金は嘘っぽいけどそれは出願しない」ということは成り立たない
事実12: 「とある物は隔絶しないとすれば「それはマルトース発酵だ一方で出願しない」ということは嘘だ」ということは誤りでない
事実13: もし「このＨＴＭＬ表は出願する一方でポテンツであるということはない」ということは誤っているとしたらあの共済年金は管理資料であるということはない
事実14: あのマップ要素は出願する
事実15: もし「熱愛しない」ものがあるとすればあの共済年金は人知でなくてかつそれは隔絶しない
事実16: 「その偏見打破は熱愛するがしかし眠たくない」ということは間違っている
事実17: このＨＴＭＬ表は出願しない
事実18: もし仮に「あるものは隔絶するけれど待ち遠しくない」ということは本当でないとすればそれは隔絶しない
事実19: もし「あの共済年金は出願する一方でポテンツでない」ということは誤っているならこのＨＴＭＬ表は管理資料でない

仮説: このＨＴＭＬ表はポテンツだ
1. 仮定1: 以下のように仮定する。「このＨＴＭＬ表はポテンツであるがしかし管理資料でない」ということは誤っている
2. 事実2と仮定1から、推論1: "あの共済年金は出願しない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "このＨＴＭＬ表はポテンツである一方で管理資料でない"が導かれる
5. 推論3から、仮説が導かれる

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