「もしもその御留守番が詳論するとするとそのプレー中はレポートデザインツールバーであるが混住しない」ということは本当である
fact1: あのフォーチュンはレポートデザインツールバーである fact2: 仮にその御留守番が詳論するならそのプレー中は混住しない fact3: もしもとある物は厚かましくないかあるいは約十六万人であるかもしくはどちらもなら混住しない fact4: その御留守番はすりゃ良い一方で御生まれに成らない fact5: あのフォーチュンは約十六万人であるということはない fact6: 仮にその御留守番が約十六万人だとしたらそれは詳論しない fact7: もしもあのフォーチュンが混住しないならばそのプレー中は混住しない fact8: その御留守番が約十六万人だとするとそのプレー中は混住するかもしくは詳論するかあるいはどちらもだ fact9: もしもあのフォーチュンが混住するということはないとするとそのプレー中はレポートデザインツールバーであるけれどそれは混住しない fact10: 仮にあのフォーチュンが混住するならばあの御留守番は厚かましくないかそれは約十六万人であるかあるいは両方である fact11: あるものは約十六万人であるとすればそれは詳論しない fact12: あのフォーチュンが詳論しないとしたらその御留守番は混住する fact13: そのプレー中は射止めるしかつそれは可視化する fact14: あの仲間キャラは厚かましい fact15: その御留守番が約十六万人ならそのプレー中は厚かましい一方でそれは混住しない fact16: もし仮にある物が厚かましいということはないかそれは約十六万人であるとすればそれは詳論しない fact17: 仮にそのプレー中が混住するということはないならそれは厚かましくない fact18: 仮にそのプレー中が射止めるとしたらその御留守番は間断無い fact19: もし仮にその御留守番が厚かましくないかそれは約十六万人であるならばそれは詳論する fact20: 「そのプレー中は混住するということはない」ということは事実だ
void -> assump2: 以下のように仮定する。「あのフォーチュンは混住する」ということは事実である; fact10 & assump2 -> int1: その御留守番は厚かましくないか約十六万人であるかもしくはどちらもである; fact16 -> int2: 仮にその御留守番が厚かましくないか約十六万人なら詳論するということはない; int1 & int2 -> int3: その御留守番は詳論しない; void -> assump1: 以下のように仮定する。「その御留守番は詳論する」ということは成り立つ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あのフォーチュンは混住するということはない; int5 & fact9 -> int6: そのプレー中はレポートデザインツールバーであるがしかし混住しない; [assump1] & int6 -> hypothesis;
その御留守番は間断無いけどそれは届け出期間でない
fact21 -> int7: そのプレー中は射止める; fact22 & int7 -> int8: 「その御留守番は間断無い」ということは成り立つ;
$facts$ = fact1: あのフォーチュンはレポートデザインツールバーである fact2: 仮にその御留守番が詳論するならそのプレー中は混住しない fact3: もしもとある物は厚かましくないかあるいは約十六万人であるかもしくはどちらもなら混住しない fact4: その御留守番はすりゃ良い一方で御生まれに成らない fact5: あのフォーチュンは約十六万人であるということはない fact6: 仮にその御留守番が約十六万人だとしたらそれは詳論しない fact7: もしもあのフォーチュンが混住しないならばそのプレー中は混住しない fact8: その御留守番が約十六万人だとするとそのプレー中は混住するかもしくは詳論するかあるいはどちらもだ fact9: もしもあのフォーチュンが混住するということはないとするとそのプレー中はレポートデザインツールバーであるけれどそれは混住しない fact10: 仮にあのフォーチュンが混住するならばあの御留守番は厚かましくないかそれは約十六万人であるかあるいは両方である fact11: あるものは約十六万人であるとすればそれは詳論しない fact12: あのフォーチュンが詳論しないとしたらその御留守番は混住する fact13: そのプレー中は射止めるしかつそれは可視化する fact14: あの仲間キャラは厚かましい fact15: その御留守番が約十六万人ならそのプレー中は厚かましい一方でそれは混住しない fact16: もし仮にある物が厚かましいということはないかそれは約十六万人であるとすればそれは詳論しない fact17: 仮にそのプレー中が混住するということはないならそれは厚かましくない fact18: 仮にそのプレー中が射止めるとしたらその御留守番は間断無い fact19: もし仮にその御留守番が厚かましくないかそれは約十六万人であるならばそれは詳論する fact20: 「そのプレー中は混住するということはない」ということは事実だ ; $hypothesis$ = 「もしもその御留守番が詳論するとするとそのプレー中はレポートデザインツールバーであるが混住しない」ということは本当である ; $proof$ = 
void -> assump2: 以下のように仮定する。「あのフォーチュンは混住する」ということは事実である; fact10 & assump2 -> int1: その御留守番は厚かましくないか約十六万人であるかもしくはどちらもである; fact16 -> int2: 仮にその御留守番が厚かましくないか約十六万人なら詳論するということはない; int1 & int2 -> int3: その御留守番は詳論しない; void -> assump1: 以下のように仮定する。「その御留守番は詳論する」ということは成り立つ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あのフォーチュンは混住するということはない; int5 & fact9 -> int6: そのプレー中はレポートデザインツールバーであるがしかし混住しない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あのフォーチュンはレポートデザインツールバーである
事実2: 仮にその御留守番が詳論するならそのプレー中は混住しない
事実3: もしもとある物は厚かましくないかあるいは約十六万人であるかもしくはどちらもなら混住しない
事実4: その御留守番はすりゃ良い一方で御生まれに成らない
事実5: あのフォーチュンは約十六万人であるということはない
事実6: 仮にその御留守番が約十六万人だとしたらそれは詳論しない
事実7: もしもあのフォーチュンが混住しないならばそのプレー中は混住しない
事実8: その御留守番が約十六万人だとするとそのプレー中は混住するかもしくは詳論するかあるいはどちらもだ
事実9: もしもあのフォーチュンが混住するということはないとするとそのプレー中はレポートデザインツールバーであるけれどそれは混住しない
事実10: 仮にあのフォーチュンが混住するならばあの御留守番は厚かましくないかそれは約十六万人であるかあるいは両方である
事実11: あるものは約十六万人であるとすればそれは詳論しない
事実12: あのフォーチュンが詳論しないとしたらその御留守番は混住する
事実13: そのプレー中は射止めるしかつそれは可視化する
事実14: あの仲間キャラは厚かましい
事実15: その御留守番が約十六万人ならそのプレー中は厚かましい一方でそれは混住しない
事実16: もし仮にある物が厚かましいということはないかそれは約十六万人であるとすればそれは詳論しない
事実17: 仮にそのプレー中が混住するということはないならそれは厚かましくない
事実18: 仮にそのプレー中が射止めるとしたらその御留守番は間断無い
事実19: もし仮にその御留守番が厚かましくないかそれは約十六万人であるならばそれは詳論する
事実20: 「そのプレー中は混住するということはない」ということは事実だ

仮説: 「もしもその御留守番が詳論するとするとそのプレー中はレポートデザインツールバーであるが混住しない」ということは本当である
1. 仮定2: 以下のように仮定する。「あのフォーチュンは混住する」ということは事実である
2. 事実10と仮定2から、推論1: "その御留守番は厚かましくないか約十六万人であるかもしくはどちらもである"が導かれる
3. 事実16から、推論2: "仮にその御留守番が厚かましくないか約十六万人なら詳論するということはない"が導かれる
4. 推論1と推論2から、推論3: "その御留守番は詳論しない"が導かれる
5. 仮定1: 以下のように仮定する。「その御留守番は詳論する」ということは成り立つ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あのフォーチュンは混住するということはない"が導かれる
8. 推論5と事実9から、推論6: "そのプレー中はレポートデザインツールバーであるがしかし混住しない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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