あの山村屋は共鳴し易い
fact1: もし仮にあの山村屋が署名すとしたらそれは返る fact2: もしもこの悲運が赴かないならそれは遣り辛くて更に測り難い fact3: 「あの第二公費は探る」ということは正しい fact4: 仮になんらかの物が民政でない一方で探るとすれば「あの山村屋は撲滅する」ということは真実だ fact5: その監査証拠が返らないが青っぽいならばあの山村屋は撲滅しない fact6: 仮に「民政でなくておまけに探らない」物があるとするとあの山村屋は撲滅する fact7: なにかは醜くないしそれに揃い過ぎない fact8: もしある物が民政であるがしかし探らないとするとあの山村屋は撲滅する fact9: この悲運は赴かない fact10: もしもその監査証拠は撲滅するとすれば「あの山村屋は探るけどそれは民政だということはない」ということは間違いである fact11: あの山村屋は探る fact12: なんらかの物は民政でなくて探らない fact13: 仮にこの悲運は測り難いなら「その生クリームは円満パターンである一方で共通しない」ということは成り立たない fact14: もし仮になにかは撲滅するということはないとすると民政で探る fact15: 「なにかは一万三千前後だ」ということは本当だとするとそれは弾き易い fact16: 仮になにかは返るなら共鳴し易い fact17: もしもその床が湿気易くないとしたらその監査証拠は返るししかも青っぽい fact18: もし利き難くないものは民政でないならば「あの山村屋は七転八倒だ」ということは成り立つ fact19: 仮にあの腕立て伏せが憎らしくないとしたらその床は湿気易くない fact20: もし仮に何らかのものは撲滅するなら「返る」ということは事実だ fact21: もし「円満パターンでない」ものがあるとするとあの腕立て伏せは憎らしくないか円満パターンだということはないかもしくは両方ともだ fact22: 仮に「なんらかのものは円満パターンだがしかし共通しない」ということは成り立たないとしたらそれは円満パターンでない fact23: この第十二飛行教育団は共鳴し易い fact24: もし仮に何らかの物が返るなら撲滅する
fact12 & fact6 -> int1: 「あの山村屋は撲滅する」ということは成り立つ; fact20 -> int2: 仮にあの山村屋が撲滅するとすれば返る; int1 & int2 -> int3: 「あの山村屋は返る」ということは確かだ; fact16 -> int4: もしあの山村屋が返るとするとそれは共鳴し易い; int3 & int4 -> hypothesis;
fact12 & fact6 -> int1: {C}{a}; fact20 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact16 -> int4: {D}{a} -> {E}{a}; int3 & int4 -> hypothesis;
あの山村屋は共鳴し易くない
fact25 -> int5: もしその監査証拠は返るとしたら「それは撲滅する」ということは成り立つ; fact33 -> int6: もし仮に「その生クリームは円満パターンであるけれどそれは共通しない」ということは間違っているなら円満パターンでない; fact32 & fact27 -> int7: この悲運は遣り辛くてそれに測り難い; int7 -> int8: この悲運は測り難い; fact29 & int8 -> int9: 「その生クリームは円満パターンだがしかしそれは共通しない」ということは成り立たない; int6 & int9 -> int10: 「その生クリームは円満パターンでない」ということは成り立つ; int10 -> int11: 「円満パターンでない」ものはある; 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: もし仮に何らかの物が返るなら撲滅する ; $hypothesis$ = あの山村屋は共鳴し易い ; $proof$ = 
fact12 & fact6 -> int1: 「あの山村屋は撲滅する」ということは成り立つ; fact20 -> int2: 仮にあの山村屋が撲滅するとすれば返る; int1 & int2 -> int3: 「あの山村屋は返る」ということは確かだ; fact16 -> int4: もしあの山村屋が返るとするとそれは共鳴し易い; int3 & int4 -> 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: もし仮に何らかの物が返るなら撲滅する

仮説: あの山村屋は共鳴し易い
1. 事実12と事実6から、推論1: "「あの山村屋は撲滅する」ということは成り立つ"が導かれる
2. 事実20から、推論2: "仮にあの山村屋が撲滅するとすれば返る"が導かれる
3. 推論1と推論2から、推論3: "「あの山村屋は返る」ということは確かだ"が導かれる
4. 事実16から、推論4: "もしあの山村屋が返るとするとそれは共鳴し易い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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