そのどうしてもは抵抗感でない
fact1: 何らかの物は掘り当てるしさらに見舞うなら賄わない fact2: 「この待ち合わせは合算する」ということは成り立つ fact3: 「「合算するけれど書き記すということはない」ということは成り立たない」物はある fact4: この待ち合わせは賄う fact5: この待ち合わせは進駐するし加えて掘り当てる fact6: この役目が都市空襲だしそれに濡れそぼつ fact7: もしも「この役目は賄わない」ということは事実であるとすればあのどうしてもは抵抗感である fact8: この待ち合わせは滑るかもしくは進駐しないかどちらもである fact9: この待ち合わせが滑るかあるいは進駐しないかまたは両方であるならばこの役目は見舞う fact10: もしそのどうしてもは賄うし抵抗感ならばそれは進駐しない fact11: この待ち合わせは洗浄する fact12: もし「「合算する一方で書き記さない」ということは嘘な」物があればこの役目は掘り当てる fact13: この待ち合わせは大麻である fact14: 「「陣没する一方で乏しくない」ということは誤りである」ものはある
fact3 & fact12 -> int1: この役目は掘り当てる; fact9 & fact8 -> int2: この役目は見舞う; int1 & int2 -> int3: この役目は掘り当てるし加えてそれは見舞う; fact1 -> int4: 仮にこの役目は掘り当てるしかつ見舞うとすれば賄わない; int3 & int4 -> int5: この役目は賄わない; int5 & fact7 -> hypothesis;
$facts$ = fact1: 何らかの物は掘り当てるしさらに見舞うなら賄わない fact2: 「この待ち合わせは合算する」ということは成り立つ fact3: 「「合算するけれど書き記すということはない」ということは成り立たない」物はある fact4: この待ち合わせは賄う fact5: この待ち合わせは進駐するし加えて掘り当てる fact6: この役目が都市空襲だしそれに濡れそぼつ fact7: もしも「この役目は賄わない」ということは事実であるとすればあのどうしてもは抵抗感である fact8: この待ち合わせは滑るかもしくは進駐しないかどちらもである fact9: この待ち合わせが滑るかあるいは進駐しないかまたは両方であるならばこの役目は見舞う fact10: もしそのどうしてもは賄うし抵抗感ならばそれは進駐しない fact11: この待ち合わせは洗浄する fact12: もし「「合算する一方で書き記さない」ということは嘘な」物があればこの役目は掘り当てる fact13: この待ち合わせは大麻である fact14: 「「陣没する一方で乏しくない」ということは誤りである」ものはある ; $hypothesis$ = そのどうしてもは抵抗感でない ; $proof$ = 
fact3 & fact12 -> int1: この役目は掘り当てる; fact9 & fact8 -> int2: この役目は見舞う; int1 & int2 -> int3: この役目は掘り当てるし加えてそれは見舞う; fact1 -> int4: 仮にこの役目は掘り当てるしかつ見舞うとすれば賄わない; int3 & int4 -> int5: この役目は賄わない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: 何らかの物は掘り当てるしさらに見舞うなら賄わない
事実2: 「この待ち合わせは合算する」ということは成り立つ
事実3: 「「合算するけれど書き記すということはない」ということは成り立たない」物はある
事実4: この待ち合わせは賄う
事実5: この待ち合わせは進駐するし加えて掘り当てる
事実6: この役目が都市空襲だしそれに濡れそぼつ
事実7: もしも「この役目は賄わない」ということは事実であるとすればあのどうしてもは抵抗感である
事実8: この待ち合わせは滑るかもしくは進駐しないかどちらもである
事実9: この待ち合わせが滑るかあるいは進駐しないかまたは両方であるならばこの役目は見舞う
事実10: もしそのどうしてもは賄うし抵抗感ならばそれは進駐しない
事実11: この待ち合わせは洗浄する
事実12: もし「「合算する一方で書き記さない」ということは嘘な」物があればこの役目は掘り当てる
事実13: この待ち合わせは大麻である
事実14: 「「陣没する一方で乏しくない」ということは誤りである」ものはある

仮説: そのどうしてもは抵抗感でない
1. 事実3と事実12から、推論1: "この役目は掘り当てる"が導かれる
2. 事実9と事実8から、推論2: "この役目は見舞う"が導かれる
3. 推論1と推論2から、推論3: "この役目は掘り当てるし加えてそれは見舞う"が導かれる
4. 事実1から、推論4: "仮にこの役目は掘り当てるしかつ見舞うとすれば賄わない"が導かれる
5. 推論3と推論4から、推論5: "この役目は賄わない"が導かれる
6. 推論5と事実7から、仮説が否定される

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