「あのメインツールバーは御待ち頂く一方でそれは存続出来ない」ということは嘘である
fact1: その座標点は出願手続きでないし文章構成でないとしたら「御待ち頂く」ということは成り立つ fact2: 「あのメインツールバーは御待ち頂くしまた存続出来る」ということは間違いだ fact3: もしその座標点は御待ち頂くとすれば「「あのメインツールバーは御待ち頂くけれど存続出来ない」ということは嘘である」ということは本当である fact4: もしあの一難が文章構成ならその座標点は出願手続きだということはなくて文章構成でない fact5: もし「あの一難は出願手続きだ」ということは成り立つとするとそれは文章構成だ fact6: もしその座標点は御待ち頂くとしたら「あのメインツールバーは御待ち頂くし存続出来る」ということは誤っている fact7: もしもとあるものが奪回しないとしたらこの当該育児休業は烏滸がましいしその上満遍無い fact8: 仮に何かはメンズＣＨ人間なら文章構成だ fact9: もし仮にあるものが奪回するなら烏滸がましい fact10: 「奪回しない」物はある fact11: もしも何かは奪回しないとすればそれは御待ち頂くしそれは存続出来ない fact12: もし仮に「この当該育児休業は満遍無い」ということは確かであるならあの一難はメンズＣＨ人間である fact13: もしその座標点が出願手続きだがそれが文章構成だということはないとすればそれは御待ち頂く fact14: 仮にあのメインツールバーは出願手続きでないししかも御待ち頂くということはないとすればそれは烏滸がましい
fact10 & fact7 -> int1: この当該育児休業が烏滸はましくてそれに満遍無い; int1 -> int2: この当該育児休業は満遍無い; int2 & fact12 -> int3: あの一難はメンズＣＨ人間だ; fact8 -> int4: もし仮にあの一難はメンズＣＨ人間であるなら文章構成である; int3 & int4 -> int5: あの一難は文章構成である; int5 & fact4 -> int6: その座標点は出願手続きでなくてかつ文章構成だということはない; int6 & fact1 -> int7: 「その座標点は御待ち頂く」ということは成り立つ; int7 & fact3 -> hypothesis;
あのメインツールバーは御待ち頂くがそれは存続出来ない
fact15 -> int8: 仮にあのメインツールバーが奪回しないとすればそれは御待ち頂く一方で存続出来ない;
$facts$ = fact1: その座標点は出願手続きでないし文章構成でないとしたら「御待ち頂く」ということは成り立つ fact2: 「あのメインツールバーは御待ち頂くしまた存続出来る」ということは間違いだ fact3: もしその座標点は御待ち頂くとすれば「「あのメインツールバーは御待ち頂くけれど存続出来ない」ということは嘘である」ということは本当である fact4: もしあの一難が文章構成ならその座標点は出願手続きだということはなくて文章構成でない fact5: もし「あの一難は出願手続きだ」ということは成り立つとするとそれは文章構成だ fact6: もしその座標点は御待ち頂くとしたら「あのメインツールバーは御待ち頂くし存続出来る」ということは誤っている fact7: もしもとあるものが奪回しないとしたらこの当該育児休業は烏滸がましいしその上満遍無い fact8: 仮に何かはメンズＣＨ人間なら文章構成だ fact9: もし仮にあるものが奪回するなら烏滸がましい fact10: 「奪回しない」物はある fact11: もしも何かは奪回しないとすればそれは御待ち頂くしそれは存続出来ない fact12: もし仮に「この当該育児休業は満遍無い」ということは確かであるならあの一難はメンズＣＨ人間である fact13: もしその座標点が出願手続きだがそれが文章構成だということはないとすればそれは御待ち頂く fact14: 仮にあのメインツールバーは出願手続きでないししかも御待ち頂くということはないとすればそれは烏滸がましい ; $hypothesis$ = 「あのメインツールバーは御待ち頂く一方でそれは存続出来ない」ということは嘘である ; $proof$ = 
fact10 & fact7 -> int1: この当該育児休業が烏滸はましくてそれに満遍無い; int1 -> int2: この当該育児休業は満遍無い; int2 & fact12 -> int3: あの一難はメンズＣＨ人間だ; fact8 -> int4: もし仮にあの一難はメンズＣＨ人間であるなら文章構成である; int3 & int4 -> int5: あの一難は文章構成である; int5 & fact4 -> int6: その座標点は出願手続きでなくてかつ文章構成だということはない; int6 & fact1 -> int7: 「その座標点は御待ち頂く」ということは成り立つ; int7 & fact3 -> hypothesis; __PROVED__
事実1: その座標点は出願手続きでないし文章構成でないとしたら「御待ち頂く」ということは成り立つ
事実2: 「あのメインツールバーは御待ち頂くしまた存続出来る」ということは間違いだ
事実3: もしその座標点は御待ち頂くとすれば「「あのメインツールバーは御待ち頂くけれど存続出来ない」ということは嘘である」ということは本当である
事実4: もしあの一難が文章構成ならその座標点は出願手続きだということはなくて文章構成でない
事実5: もし「あの一難は出願手続きだ」ということは成り立つとするとそれは文章構成だ
事実6: もしその座標点は御待ち頂くとしたら「あのメインツールバーは御待ち頂くし存続出来る」ということは誤っている
事実7: もしもとあるものが奪回しないとしたらこの当該育児休業は烏滸がましいしその上満遍無い
事実8: 仮に何かはメンズＣＨ人間なら文章構成だ
事実9: もし仮にあるものが奪回するなら烏滸がましい
事実10: 「奪回しない」物はある
事実11: もしも何かは奪回しないとすればそれは御待ち頂くしそれは存続出来ない
事実12: もし仮に「この当該育児休業は満遍無い」ということは確かであるならあの一難はメンズＣＨ人間である
事実13: もしその座標点が出願手続きだがそれが文章構成だということはないとすればそれは御待ち頂く
事実14: 仮にあのメインツールバーは出願手続きでないししかも御待ち頂くということはないとすればそれは烏滸がましい

仮説: 「あのメインツールバーは御待ち頂く一方でそれは存続出来ない」ということは嘘である
1. 事実10と事実7から、推論1: "この当該育児休業が烏滸はましくてそれに満遍無い"が導かれる
2. 推論1から、推論2: "この当該育児休業は満遍無い"が導かれる
3. 推論2と事実12から、推論3: "あの一難はメンズＣＨ人間だ"が導かれる
4. 事実8から、推論4: "もし仮にあの一難はメンズＣＨ人間であるなら文章構成である"が導かれる
5. 推論3と推論4から、推論5: "あの一難は文章構成である"が導かれる
6. 推論5と事実4から、推論6: "その座標点は出願手続きでなくてかつ文章構成だということはない"が導かれる
7. 推論6と事実1から、推論7: "「その座標点は御待ち頂く」ということは成り立つ"が導かれる
8. 推論7と事実3から、仮説が導かれる

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