この胚は言い合えるかまたはそれはちょろまかさない
fact1: あの千九百八十年代終わりは合い難い fact2: この胚はちょろまかすか一等航海士でないかまたは両方である fact3: もし仮に「その入山は貫く」ということは真実であるとすれば「あの千九百八十年代終わりが一等航海士だけどそれは擽ったくない」ということは成り立つということはない fact4: 「「あの千九百八十年代終わりは当て付けがましいしかつ隙間無い」ということは真実である」ということは誤っている fact5: 「合い難い」物はある fact6: あるものは一等航海士である fact7: あの千九百八十年代終わりはちょろまかすかあるいは隙間無くないか両方である fact8: 仮にあの千九百八十年代終わりは隙間無いとすれば「一等航海士である」ということは確かだ fact9: もし仮に「あの千九百八十年代終わりは当て付けがましいがしかしそれは隙間無くない」ということは嘘であるとしたら「一等航海士でない」ということは成り立つということはない fact10: 「その入山は当て付けがましいけれどちょろまかすということはない」ということは真実でない fact11: もしなんらかのものは合い難いなら「それは言い合えるかちょろまかさないかもしくは両方だ」ということは偽である fact12: その入山はミスタープロスペクター系だ fact13: もしもその入山が作り置きしないならインハウス型でないし唆さない fact14: もしもその入山がちょろまかさないとすればあの胚は言い合えるかもしくはちょろまかす fact15: 「「あの千九百八十年代終わりは当て付けがましいけど隙間無くない」ということは誤っている」ということは事実である fact16: もし仮に一等航海士が合い難いならその入山はちょろまかさない fact17: その入山がちょろまかさないならばあの胚は言い合えるかもしくはちょろまかさない fact18: 「その入山は作り置きしない」ということは本当だ fact19: あの焼香は隙間無くてまた近し fact20: ある物はインハウス型でないとしたらしつっこいし貫く fact21: この胚は言い合えるかあるいはそれはちょろまかすか両方である fact22: もしもこの胚が隙間無くないとするとあの千九百八十年代終わりは合い難いかもしくはそれは隙間無いということはないか両方だ fact23: あの外交政策は蠕動運動で合い難い
fact9 & fact15 -> int1: あの千九百八十年代終わりは一等航海士である; int1 & fact1 -> int2: あの千九百八十年代終わりは一等航海士で加えて合い難い; int2 -> int3: とある物が一等航海士だしかつそれは合い難い; int3 & fact16 -> int4: その入山はちょろまかさない; int4 & fact17 -> hypothesis;
「この胚は言い合えるかもしくはちょろまかさない」ということは間違いである
fact28 -> int5: もしこの胚は合い難いとしたら「言い合えるかまたはそれはちょろまかさないかまたはどちらもだ」ということは成り立たない; fact25 -> int6: もしもその入山はインハウス型でないならそれはしつっこいしその上貫く; fact26 & fact27 -> int7: その入山はインハウス型でないししかもそれは唆さない; int7 -> int8: その入山はインハウス型でない; int6 & int8 -> int9: その入山はしつっこいし加えて貫く; int9 -> int10: その入山は貫く; fact24 & int10 -> int11: 「あの千九百八十年代終わりは一等航海士だけれどそれは擽ったくない」ということは成り立たない; int11 -> 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: あの外交政策は蠕動運動で合い難い ; $hypothesis$ = この胚は言い合えるかまたはそれはちょろまかさない ; $proof$ = 
fact9 & fact15 -> int1: あの千九百八十年代終わりは一等航海士である; int1 & fact1 -> int2: あの千九百八十年代終わりは一等航海士で加えて合い難い; int2 -> int3: とある物が一等航海士だしかつそれは合い難い; int3 & fact16 -> int4: その入山はちょろまかさない; int4 & fact17 -> 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: あの外交政策は蠕動運動で合い難い

仮説: この胚は言い合えるかまたはそれはちょろまかさない
1. 事実9と事実15から、推論1: "あの千九百八十年代終わりは一等航海士である"が導かれる
2. 推論1と事実1から、推論2: "あの千九百八十年代終わりは一等航海士で加えて合い難い"が導かれる
3. 推論2から、推論3: "とある物が一等航海士だしかつそれは合い難い"が導かれる
4. 推論3と事実16から、推論4: "その入山はちょろまかさない"が導かれる
5. 推論4と事実17から、仮説が導かれる

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