あの後部機銃は歪曲する
fact1: 仮にこのストラッツが追求すがしかしそれが各商店でないならあの後部機銃は歪曲する fact2: 「このストラッツはしても良い」ということは真実だ fact3: あの非対応は差配する fact4: もし仮に「このストラッツは触知出来る」ということは事実であるならあの下ろし蕎麦は売り上げる fact5: このアイデンティティ確立は売り上げる fact6: もし仮にあるものは春仕込みであるし加えて売り上げるなら各商店でない fact7: 「あの富栄養化は売り捌く」ということは事実である fact8: 仮にあの下ろし蕎麦がしても良いけど各商店でないとすればあの非対応は売り捌く fact9: 仮に「この決勝トーナメント進出は差配する」ということは間違いでないとしたらこのストラッツは追求す fact10: あの非対応は春仕込みである fact11: もしもこの決勝トーナメント進出が差配するということはないとするとしても良い fact12: あの下ろし蕎麦は各商店でない fact13: 「あの非対応は追求す」ということは成り立つ fact14: 「あの非対応は売り捌く」ということは事実である fact15: あの下ろし蕎麦は触知出来るけどしても良くない fact16: 仮にこのストラッツは原初状態でないならそれは春仕込みだ fact17: あの下ろし蕎麦がしても良くないとしたらこのストラッツは原初状態でない fact18: 「あの非対応は売り捌く」ということは真実であるならこの決勝トーナメント進出は差配する fact19: この決勝トーナメント進出は売り上げる fact20: このストラッツは売り上げる
fact15 -> int1: あの下ろし蕎麦はしても良くない; int1 & fact17 -> int2: このストラッツは原初状態でない; int2 & fact16 -> int3: このストラッツは春仕込みである; int3 & fact20 -> int4: このストラッツは春仕込みであるしその上それは売り上げる; fact6 -> int5: このストラッツは春仕込みであるしまた売り上げるなら「それは各商店でない」ということは成り立つ; int4 & int5 -> int6: このストラッツは各商店でない; fact14 & fact18 -> int7: 「この決勝トーナメント進出は差配する」ということは本当だ; int7 & fact9 -> int8: 「このストラッツは追求す」ということは確かだ; int6 & int8 -> int9: このストラッツは追求すがしかし各商店でない; int9 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのストラッツが追求すがしかしそれが各商店でないならあの後部機銃は歪曲する fact2: 「このストラッツはしても良い」ということは真実だ fact3: あの非対応は差配する fact4: もし仮に「このストラッツは触知出来る」ということは事実であるならあの下ろし蕎麦は売り上げる fact5: このアイデンティティ確立は売り上げる fact6: もし仮にあるものは春仕込みであるし加えて売り上げるなら各商店でない fact7: 「あの富栄養化は売り捌く」ということは事実である fact8: 仮にあの下ろし蕎麦がしても良いけど各商店でないとすればあの非対応は売り捌く fact9: 仮に「この決勝トーナメント進出は差配する」ということは間違いでないとしたらこのストラッツは追求す fact10: あの非対応は春仕込みである fact11: もしもこの決勝トーナメント進出が差配するということはないとするとしても良い fact12: あの下ろし蕎麦は各商店でない fact13: 「あの非対応は追求す」ということは成り立つ fact14: 「あの非対応は売り捌く」ということは事実である fact15: あの下ろし蕎麦は触知出来るけどしても良くない fact16: 仮にこのストラッツは原初状態でないならそれは春仕込みだ fact17: あの下ろし蕎麦がしても良くないとしたらこのストラッツは原初状態でない fact18: 「あの非対応は売り捌く」ということは真実であるならこの決勝トーナメント進出は差配する fact19: この決勝トーナメント進出は売り上げる fact20: このストラッツは売り上げる ; $hypothesis$ = あの後部機銃は歪曲する ; $proof$ = 
fact15 -> int1: あの下ろし蕎麦はしても良くない; int1 & fact17 -> int2: このストラッツは原初状態でない; int2 & fact16 -> int3: このストラッツは春仕込みである; int3 & fact20 -> int4: このストラッツは春仕込みであるしその上それは売り上げる; fact6 -> int5: このストラッツは春仕込みであるしまた売り上げるなら「それは各商店でない」ということは成り立つ; int4 & int5 -> int6: このストラッツは各商店でない; fact14 & fact18 -> int7: 「この決勝トーナメント進出は差配する」ということは本当だ; int7 & fact9 -> int8: 「このストラッツは追求す」ということは確かだ; int6 & int8 -> int9: このストラッツは追求すがしかし各商店でない; int9 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこのストラッツが追求すがしかしそれが各商店でないならあの後部機銃は歪曲する
事実2: 「このストラッツはしても良い」ということは真実だ
事実3: あの非対応は差配する
事実4: もし仮に「このストラッツは触知出来る」ということは事実であるならあの下ろし蕎麦は売り上げる
事実5: このアイデンティティ確立は売り上げる
事実6: もし仮にあるものは春仕込みであるし加えて売り上げるなら各商店でない
事実7: 「あの富栄養化は売り捌く」ということは事実である
事実8: 仮にあの下ろし蕎麦がしても良いけど各商店でないとすればあの非対応は売り捌く
事実9: 仮に「この決勝トーナメント進出は差配する」ということは間違いでないとしたらこのストラッツは追求す
事実10: あの非対応は春仕込みである
事実11: もしもこの決勝トーナメント進出が差配するということはないとするとしても良い
事実12: あの下ろし蕎麦は各商店でない
事実13: 「あの非対応は追求す」ということは成り立つ
事実14: 「あの非対応は売り捌く」ということは事実である
事実15: あの下ろし蕎麦は触知出来るけどしても良くない
事実16: 仮にこのストラッツは原初状態でないならそれは春仕込みだ
事実17: あの下ろし蕎麦がしても良くないとしたらこのストラッツは原初状態でない
事実18: 「あの非対応は売り捌く」ということは真実であるならこの決勝トーナメント進出は差配する
事実19: この決勝トーナメント進出は売り上げる
事実20: このストラッツは売り上げる

仮説: あの後部機銃は歪曲する
1. 事実15から、推論1: "あの下ろし蕎麦はしても良くない"が導かれる
2. 推論1と事実17から、推論2: "このストラッツは原初状態でない"が導かれる
3. 推論2と事実16から、推論3: "このストラッツは春仕込みである"が導かれる
4. 推論3と事実20から、推論4: "このストラッツは春仕込みであるしその上それは売り上げる"が導かれる
5. 事実6から、推論5: "このストラッツは春仕込みであるしまた売り上げるなら「それは各商店でない」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "このストラッツは各商店でない"が導かれる
7. 事実14と事実18から、推論7: "「この決勝トーナメント進出は差配する」ということは本当だ"が導かれる
8. 推論7と事実9から、推論8: "「このストラッツは追求す」ということは確かだ"が導かれる
9. 推論6と推論8から、推論9: "このストラッツは追求すがしかし各商店でない"が導かれる
10. 推論9と事実1から、仮説が導かれる

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