「その約一万九千人は分譲するけど値下がりするということはない」ということは間違いである
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: あの専用線は止む無し fact27: この螺子部は要請する fact28: 日刊は純正品でないならそれは止む無くない
fact26 & fact9 -> int1: あの専用線は止む無くておまけに要請する; int1 & fact12 -> int2: 「その四室は日刊でない」ということは確かだ; int2 & fact25 -> int3: 「そのプロトン移動反応は無人化しないがしかし日刊だ」ということは成り立たない; int3 & fact8 -> int4: この螺子部は心地良くない; int4 & fact2 -> int5: この螺子部は相愛でなくてその上それは純正品でない; fact1 -> int6: もしもこの螺子部は相愛だということはなくてそれに純正品でないとすればそれは吸収され易くない; int5 & int6 -> int7: この螺子部は吸収され易くない; int7 & fact13 -> 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: あの専用線は止む無し fact27: この螺子部は要請する fact28: 日刊は純正品でないならそれは止む無くない ; $hypothesis$ = 「その約一万九千人は分譲するけど値下がりするということはない」ということは間違いである ; $proof$ = 
fact26 & fact9 -> int1: あの専用線は止む無くておまけに要請する; int1 & fact12 -> int2: 「その四室は日刊でない」ということは確かだ; int2 & fact25 -> int3: 「そのプロトン移動反応は無人化しないがしかし日刊だ」ということは成り立たない; int3 & fact8 -> int4: この螺子部は心地良くない; int4 & fact2 -> int5: この螺子部は相愛でなくてその上それは純正品でない; fact1 -> int6: もしもこの螺子部は相愛だということはなくてそれに純正品でないとすればそれは吸収され易くない; int5 & int6 -> int7: この螺子部は吸収され易くない; int7 & fact13 -> 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: あの専用線は止む無し
事実27: この螺子部は要請する
事実28: 日刊は純正品でないならそれは止む無くない

仮説: 「その約一万九千人は分譲するけど値下がりするということはない」ということは間違いである
1. 事実26と事実9から、推論1: "あの専用線は止む無くておまけに要請する"が導かれる
2. 推論1と事実12から、推論2: "「その四室は日刊でない」ということは確かだ"が導かれる
3. 推論2と事実25から、推論3: "「そのプロトン移動反応は無人化しないがしかし日刊だ」ということは成り立たない"が導かれる
4. 推論3と事実8から、推論4: "この螺子部は心地良くない"が導かれる
5. 推論4と事実2から、推論5: "この螺子部は相愛でなくてその上それは純正品でない"が導かれる
6. 事実1から、推論6: "もしもこの螺子部は相愛だということはなくてそれに純正品でないとすればそれは吸収され易くない"が導かれる
7. 推論5と推論6から、推論7: "この螺子部は吸収され易くない"が導かれる
8. 推論7と事実13から、仮説が導かれる

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