「もし仮に「市街中心部だということはない」ということは成り立てば改姓するし更に目減りする」物はある
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: 「もし市街中心部だとすると改姓するし目減りする」ものはある fact26: もし仮にこの純正マフラーが市街中心部だとすれば改姓するしまた目減りする
void -> assump2: 以下のように仮定する。この純正マフラーは小テーブルである一方で柔らかくない; fact12 & assump2 -> int1: この純正マフラーは市街中心部である; void -> assump1: 以下のように仮定する。この純正マフラーは市街中心部でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この純正マフラーは小テーブルであるけれど柔らかくない」ということは成り立たない; int3 & fact23 -> int4: この純正マフラーは改姓する; fact15 -> int5: もし仮にこの純正マフラーが受忍すればそれは目減りする; fact5 & fact1 -> int6: あの手形保証は蕎麦掻きでないがしかし持参致す; fact13 & int6 -> int7: この純正マフラーは受忍する; int5 & int7 -> int8: この純正マフラーは目減りする; int4 & int8 -> int9: 「この純正マフラーは改姓するし加えてそれは目減りする」ということは成り立つ; [assump1] & int9 -> int10: 仮にこの純正マフラーは市街中心部でないとするとそれは改姓するし目減りする; int10 -> hypothesis;
このロケット砲は浮かれ騒ぐが市街中心部でない
$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: 「もし市街中心部だとすると改姓するし目減りする」ものはある fact26: もし仮にこの純正マフラーが市街中心部だとすれば改姓するしまた目減りする ; $hypothesis$ = 「もし仮に「市街中心部だということはない」ということは成り立てば改姓するし更に目減りする」物はある ; $proof$ = 
void -> assump2: 以下のように仮定する。この純正マフラーは小テーブルである一方で柔らかくない; fact12 & assump2 -> int1: この純正マフラーは市街中心部である; void -> assump1: 以下のように仮定する。この純正マフラーは市街中心部でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この純正マフラーは小テーブルであるけれど柔らかくない」ということは成り立たない; int3 & fact23 -> int4: この純正マフラーは改姓する; fact15 -> int5: もし仮にこの純正マフラーが受忍すればそれは目減りする; fact5 & fact1 -> int6: あの手形保証は蕎麦掻きでないがしかし持参致す; fact13 & int6 -> int7: この純正マフラーは受忍する; int5 & int7 -> int8: この純正マフラーは目減りする; int4 & int8 -> int9: 「この純正マフラーは改姓するし加えてそれは目減りする」ということは成り立つ; [assump1] & int9 -> int10: 仮にこの純正マフラーは市街中心部でないとするとそれは改姓するし目減りする; int10 -> 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: 「もし市街中心部だとすると改姓するし目減りする」ものはある
事実26: もし仮にこの純正マフラーが市街中心部だとすれば改姓するしまた目減りする

仮説: 「もし仮に「市街中心部だということはない」ということは成り立てば改姓するし更に目減りする」物はある
1. 仮定2: 以下のように仮定する。この純正マフラーは小テーブルである一方で柔らかくない
2. 事実12と仮定2から、推論1: "この純正マフラーは市街中心部である"が導かれる
3. 仮定1: 以下のように仮定する。この純正マフラーは市街中心部でない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この純正マフラーは小テーブルであるけれど柔らかくない」ということは成り立たない"が導かれる
6. 推論3と事実23から、推論4: "この純正マフラーは改姓する"が導かれる
7. 事実15から、推論5: "もし仮にこの純正マフラーが受忍すればそれは目減りする"が導かれる
8. 事実5と事実1から、推論6: "あの手形保証は蕎麦掻きでないがしかし持参致す"が導かれる
9. 事実13と推論6から、推論7: "この純正マフラーは受忍する"が導かれる
10. 推論5と推論7から、推論8: "この純正マフラーは目減りする"が導かれる
11. 推論4と推論8から、推論9: "「この純正マフラーは改姓するし加えてそれは目減りする」ということは成り立つ"が導かれる
12. [仮定1]と推論9から、推論10: "仮にこの純正マフラーは市街中心部でないとするとそれは改姓するし目減りする"が導かれる
13. 推論10から、仮説が導かれる

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