この声門は完了である
fact1: なにがしかの物が乗り込めないかまたはそれが拝観するとするとそれは拝観する fact2: 仮にその事業推進は水道等でないかもしくは吸い付けるかあるいは両方ともなら吸い付ける fact3: その口絵は吸い付けない fact4: もしもあの替え歌が給水システムだけれどモジュラーでないならあの笹井擁立は給水システムでない fact5: そのグリーンサンド・ビーチは吸い付ける fact6: その事業推進は吸い付ける fact7: もしこの声門は完了でないとしたら「その事業推進は燥ぎ回るし水道等である」ということは間違っている fact8: もし仮にその事業推進が拝観するかあるいはそれは程近くないかもしくは両方だとしたら「この声門は完了でない」ということは本当だ fact9: その事業推進は燥ぎ回らないか乗り込めるかあるいはどちらもだ fact10: 「その事業推進は拝観しないかもしくは程近いかもしくは両方ともである」ということは事実だ fact11: この今日は吸い付ける fact12: もし仮にその事業推進が程近くないとすればこの今日は拝観しない fact13: 仮になんらかの物が給水システムでないとすればそれは根強いということはない fact14: 仮にあの笹井擁立が人らしいということはないならばあの今日は乗り込めるししかも吸い付ける fact15: もしこの今日が乗り込めないならそれは水道等でない fact16: もし仮にその事業推進が水道等だとすればそれは拝観しないかもしくは吸い付けるかもしくは両方だ fact17: 濃くない物はビジネス上でない fact18: もし仮に「なにかは人らしいし更にメソッド呼び出しだ」ということは成り立たないとすれば人らしいということはない fact19: 仮にとある物は根強くないなら「それは人らしいしそれにメソッド呼び出しである」ということは間違いだ fact20: この声門は乗り込める fact21: 仮に「何らかのものは燥ぎ回るしそれにそれは水道等である」ということは誤りであるなら程近くない fact22: もし「その事業推進は燥ぎ回るし加えて吸い付ける」ということは嘘であるなら「それは乗り込めるということはない」ということは事実である fact23: もしもとある物がショートしないとすればそれは給水システムであるし更にモジュラーでない fact24: 「この今日が吸い付けるとするとこの今日は乗り込めないかあるいは拝観するか両方だ」ということは事実である fact25: 仮にこの今日が乗り込めるとするとその事業推進は拝観するか程近くない
void -> assump1: 以下のように仮定する。この声門は完了でない; fact7 & assump1 -> int1: 「その事業推進は燥ぎ回るしまた水道等である」ということは成り立たない; fact21 -> int2: もし仮に「その事業推進は燥ぎ回るし水道等である」ということは嘘ならばそれは程近くない; int1 & int2 -> int3: その事業推進は程近くない; int3 & fact12 -> int4: この今日は拝観しない; fact24 & fact11 -> int5: この今日は乗り込めないかまたは拝観するか両方ともだ; fact1 -> int6: もし仮にこの今日が乗り込めないかもしくはそれは拝観するかもしくは両方だとすると「拝観する」ということは確かである; int5 & int6 -> int7: この今日は拝観する; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この声門は完了だということはない
fact26 -> int9: もし「あの笹井擁立は人らしいしまたメソッド呼び出しだ」ということは成り立つということはないなら人らしくない; fact32 -> int10: もしあの笹井擁立は根強くないならば「「人らしいしさらにメソッド呼び出しだ」ということは成り立つ」ということは間違っている; fact33 -> int11: もしあの笹井擁立は給水システムであるということはないなら根強くない; fact31 -> int12: もしあの替え歌がショートしないとするとそれは給水システムであるがモジュラーでない;
$facts$ = fact1: なにがしかの物が乗り込めないかまたはそれが拝観するとするとそれは拝観する fact2: 仮にその事業推進は水道等でないかもしくは吸い付けるかあるいは両方ともなら吸い付ける fact3: その口絵は吸い付けない fact4: もしもあの替え歌が給水システムだけれどモジュラーでないならあの笹井擁立は給水システムでない fact5: そのグリーンサンド・ビーチは吸い付ける fact6: その事業推進は吸い付ける fact7: もしこの声門は完了でないとしたら「その事業推進は燥ぎ回るし水道等である」ということは間違っている fact8: もし仮にその事業推進が拝観するかあるいはそれは程近くないかもしくは両方だとしたら「この声門は完了でない」ということは本当だ fact9: その事業推進は燥ぎ回らないか乗り込めるかあるいはどちらもだ fact10: 「その事業推進は拝観しないかもしくは程近いかもしくは両方ともである」ということは事実だ fact11: この今日は吸い付ける fact12: もし仮にその事業推進が程近くないとすればこの今日は拝観しない fact13: 仮になんらかの物が給水システムでないとすればそれは根強いということはない fact14: 仮にあの笹井擁立が人らしいということはないならばあの今日は乗り込めるししかも吸い付ける fact15: もしこの今日が乗り込めないならそれは水道等でない fact16: もし仮にその事業推進が水道等だとすればそれは拝観しないかもしくは吸い付けるかもしくは両方だ fact17: 濃くない物はビジネス上でない fact18: もし仮に「なにかは人らしいし更にメソッド呼び出しだ」ということは成り立たないとすれば人らしいということはない fact19: 仮にとある物は根強くないなら「それは人らしいしそれにメソッド呼び出しである」ということは間違いだ fact20: この声門は乗り込める fact21: 仮に「何らかのものは燥ぎ回るしそれにそれは水道等である」ということは誤りであるなら程近くない fact22: もし「その事業推進は燥ぎ回るし加えて吸い付ける」ということは嘘であるなら「それは乗り込めるということはない」ということは事実である fact23: もしもとある物がショートしないとすればそれは給水システムであるし更にモジュラーでない fact24: 「この今日が吸い付けるとするとこの今日は乗り込めないかあるいは拝観するか両方だ」ということは事実である fact25: 仮にこの今日が乗り込めるとするとその事業推進は拝観するか程近くない ; $hypothesis$ = この声門は完了である ; $proof$ = 
void -> assump1: 以下のように仮定する。この声門は完了でない; fact7 & assump1 -> int1: 「その事業推進は燥ぎ回るしまた水道等である」ということは成り立たない; fact21 -> int2: もし仮に「その事業推進は燥ぎ回るし水道等である」ということは嘘ならばそれは程近くない; int1 & int2 -> int3: その事業推進は程近くない; int3 & fact12 -> int4: この今日は拝観しない; fact24 & fact11 -> int5: この今日は乗り込めないかまたは拝観するか両方ともだ; fact1 -> int6: もし仮にこの今日が乗り込めないかもしくはそれは拝観するかもしくは両方だとすると「拝観する」ということは確かである; int5 & int6 -> int7: この今日は拝観する; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: なにがしかの物が乗り込めないかまたはそれが拝観するとするとそれは拝観する
事実2: 仮にその事業推進は水道等でないかもしくは吸い付けるかあるいは両方ともなら吸い付ける
事実3: その口絵は吸い付けない
事実4: もしもあの替え歌が給水システムだけれどモジュラーでないならあの笹井擁立は給水システムでない
事実5: そのグリーンサンド・ビーチは吸い付ける
事実6: その事業推進は吸い付ける
事実7: もしこの声門は完了でないとしたら「その事業推進は燥ぎ回るし水道等である」ということは間違っている
事実8: もし仮にその事業推進が拝観するかあるいはそれは程近くないかもしくは両方だとしたら「この声門は完了でない」ということは本当だ
事実9: その事業推進は燥ぎ回らないか乗り込めるかあるいはどちらもだ
事実10: 「その事業推進は拝観しないかもしくは程近いかもしくは両方ともである」ということは事実だ
事実11: この今日は吸い付ける
事実12: もし仮にその事業推進が程近くないとすればこの今日は拝観しない
事実13: 仮になんらかの物が給水システムでないとすればそれは根強いということはない
事実14: 仮にあの笹井擁立が人らしいということはないならばあの今日は乗り込めるししかも吸い付ける
事実15: もしこの今日が乗り込めないならそれは水道等でない
事実16: もし仮にその事業推進が水道等だとすればそれは拝観しないかもしくは吸い付けるかもしくは両方だ
事実17: 濃くない物はビジネス上でない
事実18: もし仮に「なにかは人らしいし更にメソッド呼び出しだ」ということは成り立たないとすれば人らしいということはない
事実19: 仮にとある物は根強くないなら「それは人らしいしそれにメソッド呼び出しである」ということは間違いだ
事実20: この声門は乗り込める
事実21: 仮に「何らかのものは燥ぎ回るしそれにそれは水道等である」ということは誤りであるなら程近くない
事実22: もし「その事業推進は燥ぎ回るし加えて吸い付ける」ということは嘘であるなら「それは乗り込めるということはない」ということは事実である
事実23: もしもとある物がショートしないとすればそれは給水システムであるし更にモジュラーでない
事実24: 「この今日が吸い付けるとするとこの今日は乗り込めないかあるいは拝観するか両方だ」ということは事実である
事実25: 仮にこの今日が乗り込めるとするとその事業推進は拝観するか程近くない

仮説: この声門は完了である
1. 仮定1: 以下のように仮定する。この声門は完了でない
2. 事実7と仮定1から、推論1: "「その事業推進は燥ぎ回るしまた水道等である」ということは成り立たない"が導かれる
3. 事実21から、推論2: "もし仮に「その事業推進は燥ぎ回るし水道等である」ということは嘘ならばそれは程近くない"が導かれる
4. 推論1と推論2から、推論3: "その事業推進は程近くない"が導かれる
5. 推論3と事実12から、推論4: "この今日は拝観しない"が導かれる
6. 事実24と事実11から、推論5: "この今日は乗り込めないかまたは拝観するか両方ともだ"が導かれる
7. 事実1から、推論6: "もし仮にこの今日が乗り込めないかもしくはそれは拝観するかもしくは両方だとすると「拝観する」ということは確かである"が導かれる
8. 推論5と推論6から、推論7: "この今日は拝観する"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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