「この婚姻中は携帯電話ソフトだ」ということは事実だ
fact1: もしも「御辛くない」ものはあれば「この婚姻中は屈折するしそれは図り難い」ということは嘘だ fact2: 仮にあるものは御辛くないならば「この婚姻中は屈折する一方で図り難くない」ということは本当であるということはない fact3: 「物欲しい物は起始でない」ということは真実である fact4: 仮になんらかのものは遣る瀬無くないとすれば「あの武家地は無余修であるけど表明しない」ということは誤りだ fact5: もし何らかの物が図り難いなら携帯電話ソフトでない fact6: 仮にこの婚姻中が図り難いならばそれは携帯電話ソフトでない fact7: 「御辛くない」ものはある fact8: この調査日は屈折しない fact9: もしもこの婚姻中が屈折するなら監督委員でない fact10: 「なにがしかの物は屈折する一方で図り難くない」ということは成り立たないとしたら「それは携帯電話ソフトでない」ということは事実だ fact11: 「この婚姻中は屈折するしそれに図り難い」ということは間違いだ fact12: 「呆れ返らない」物はある fact13: 「「御辛い」ということは成り立つ」物はある fact14: 「この旧制大学は屈折するかまたは携帯電話ソフトでない」ということは嘘であるとすればこの婚姻中は携帯電話ソフトである
fact7 & fact2 -> int1: 「この婚姻中は屈折するけど図り難いということはない」ということは間違っている; fact10 -> int2: もしも「この婚姻中は屈折する一方でそれは図り難くない」ということは成り立たないならば携帯電話ソフトでない; int1 & int2 -> hypothesis;
この婚姻中は携帯電話ソフトである
$facts$ = fact1: もしも「御辛くない」ものはあれば「この婚姻中は屈折するしそれは図り難い」ということは嘘だ fact2: 仮にあるものは御辛くないならば「この婚姻中は屈折する一方で図り難くない」ということは本当であるということはない fact3: 「物欲しい物は起始でない」ということは真実である fact4: 仮になんらかのものは遣る瀬無くないとすれば「あの武家地は無余修であるけど表明しない」ということは誤りだ fact5: もし何らかの物が図り難いなら携帯電話ソフトでない fact6: 仮にこの婚姻中が図り難いならばそれは携帯電話ソフトでない fact7: 「御辛くない」ものはある fact8: この調査日は屈折しない fact9: もしもこの婚姻中が屈折するなら監督委員でない fact10: 「なにがしかの物は屈折する一方で図り難くない」ということは成り立たないとしたら「それは携帯電話ソフトでない」ということは事実だ fact11: 「この婚姻中は屈折するしそれに図り難い」ということは間違いだ fact12: 「呆れ返らない」物はある fact13: 「「御辛い」ということは成り立つ」物はある fact14: 「この旧制大学は屈折するかまたは携帯電話ソフトでない」ということは嘘であるとすればこの婚姻中は携帯電話ソフトである ; $hypothesis$ = 「この婚姻中は携帯電話ソフトだ」ということは事実だ ; $proof$ = 
fact7 & fact2 -> int1: 「この婚姻中は屈折するけど図り難いということはない」ということは間違っている; fact10 -> int2: もしも「この婚姻中は屈折する一方でそれは図り難くない」ということは成り立たないならば携帯電話ソフトでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「御辛くない」ものはあれば「この婚姻中は屈折するしそれは図り難い」ということは嘘だ
事実2: 仮にあるものは御辛くないならば「この婚姻中は屈折する一方で図り難くない」ということは本当であるということはない
事実3: 「物欲しい物は起始でない」ということは真実である
事実4: 仮になんらかのものは遣る瀬無くないとすれば「あの武家地は無余修であるけど表明しない」ということは誤りだ
事実5: もし何らかの物が図り難いなら携帯電話ソフトでない
事実6: 仮にこの婚姻中が図り難いならばそれは携帯電話ソフトでない
事実7: 「御辛くない」ものはある
事実8: この調査日は屈折しない
事実9: もしもこの婚姻中が屈折するなら監督委員でない
事実10: 「なにがしかの物は屈折する一方で図り難くない」ということは成り立たないとしたら「それは携帯電話ソフトでない」ということは事実だ
事実11: 「この婚姻中は屈折するしそれに図り難い」ということは間違いだ
事実12: 「呆れ返らない」物はある
事実13: 「「御辛い」ということは成り立つ」物はある
事実14: 「この旧制大学は屈折するかまたは携帯電話ソフトでない」ということは嘘であるとすればこの婚姻中は携帯電話ソフトである

仮説: 「この婚姻中は携帯電話ソフトだ」ということは事実だ
1. 事実7と事実2から、推論1: "「この婚姻中は屈折するけど図り難いということはない」ということは間違っている"が導かれる
2. 事実10から、推論2: "もしも「この婚姻中は屈折する一方でそれは図り難くない」ということは成り立たないならば携帯電話ソフトでない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。