その中五郡が放送事業者だけどそれはむくつけしない
fact1: 「その中五郡は漏るし心電図だ」ということは間違いである fact2: もしも「その中五郡は這いずり回る一方で放送事業者でない」ということは成り立たないとすれば黄斑変性症だ fact3: もし仮に「その中五郡は放送事業者だ一方でむくつけしということはない」ということは成り立たないなら「壊れ易い」ということは確かだ fact4: 「その世紀転換期は固定化しない」ということは真実であるとすると「その中五郡は収め忘れないしさらに千九百八十四年法でない」ということは正しい fact5: もしとある物は履行するとすれば「放送事業者である一方でむくつけしない」ということは偽である fact6: その中五郡は固定化するしそれにそれはマッサージ器具だ fact7: もし仮に「あの金属板は扱い難いけれど固定化するということはない」ということは成り立たないとすれば「その世紀転換期は固定化しない」ということは真実だ fact8: もしも「「収め忘れないけど千九百八十四年法だ」ということは間違っている」ものがあるならその診療情報は壊れ易くない fact9: その中五郡は履行しないしそれは収め忘れない fact10: もしもとある物は固定化するなら「収め忘れなくて更にそれは千九百八十四年法だ」ということは成り立たない fact11: 「その中五郡は履行するということはないけどそれは壊れ易い」ということは成り立たない fact12: もし仮にあのＴＤＳはマッサージ器具だとしたら「あの金属板は扱い難いけど固定化するということはない」ということは誤りである fact13: 仮にあの見立がマッサージ器具だとすればあのＴＤＳはマッサージ器具である
void -> assump1: 以下のように仮定する。「「その中五郡は放送事業者だ一方でむくつけしない」ということは間違いである」ということは本当だ; fact3 & assump1 -> int1: その中五郡は壊れ易い; fact9 -> int2: その中五郡は履行しない; int1 & int2 -> int3: その中五郡は履行しないけれどそれは壊れ易い; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その診療情報はむくつけし
fact14 -> int5: 仮にその中五郡は固定化するとすると「それは収め忘れないし加えてそれは千九百八十四年法である」ということは成り立たない; fact15 -> int6: その中五郡は固定化する; int5 & int6 -> int7: 「その中五郡は収め忘れない一方で千九百八十四年法だ」ということは間違っている; int7 -> int8: 「「収め忘れるということはなくておまけに千九百八十四年法だ」ということは偽である」ものはある; int8 & fact16 -> int9: その診療情報は壊れ易くない;
$facts$ = fact1: 「その中五郡は漏るし心電図だ」ということは間違いである fact2: もしも「その中五郡は這いずり回る一方で放送事業者でない」ということは成り立たないとすれば黄斑変性症だ fact3: もし仮に「その中五郡は放送事業者だ一方でむくつけしということはない」ということは成り立たないなら「壊れ易い」ということは確かだ fact4: 「その世紀転換期は固定化しない」ということは真実であるとすると「その中五郡は収め忘れないしさらに千九百八十四年法でない」ということは正しい fact5: もしとある物は履行するとすれば「放送事業者である一方でむくつけしない」ということは偽である fact6: その中五郡は固定化するしそれにそれはマッサージ器具だ fact7: もし仮に「あの金属板は扱い難いけれど固定化するということはない」ということは成り立たないとすれば「その世紀転換期は固定化しない」ということは真実だ fact8: もしも「「収め忘れないけど千九百八十四年法だ」ということは間違っている」ものがあるならその診療情報は壊れ易くない fact9: その中五郡は履行しないしそれは収め忘れない fact10: もしもとある物は固定化するなら「収め忘れなくて更にそれは千九百八十四年法だ」ということは成り立たない fact11: 「その中五郡は履行するということはないけどそれは壊れ易い」ということは成り立たない fact12: もし仮にあのＴＤＳはマッサージ器具だとしたら「あの金属板は扱い難いけど固定化するということはない」ということは誤りである fact13: 仮にあの見立がマッサージ器具だとすればあのＴＤＳはマッサージ器具である ; $hypothesis$ = その中五郡が放送事業者だけどそれはむくつけしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その中五郡は放送事業者だ一方でむくつけしない」ということは間違いである」ということは本当だ; fact3 & assump1 -> int1: その中五郡は壊れ易い; fact9 -> int2: その中五郡は履行しない; int1 & int2 -> int3: その中五郡は履行しないけれどそれは壊れ易い; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「その中五郡は漏るし心電図だ」ということは間違いである
事実2: もしも「その中五郡は這いずり回る一方で放送事業者でない」ということは成り立たないとすれば黄斑変性症だ
事実3: もし仮に「その中五郡は放送事業者だ一方でむくつけしということはない」ということは成り立たないなら「壊れ易い」ということは確かだ
事実4: 「その世紀転換期は固定化しない」ということは真実であるとすると「その中五郡は収め忘れないしさらに千九百八十四年法でない」ということは正しい
事実5: もしとある物は履行するとすれば「放送事業者である一方でむくつけしない」ということは偽である
事実6: その中五郡は固定化するしそれにそれはマッサージ器具だ
事実7: もし仮に「あの金属板は扱い難いけれど固定化するということはない」ということは成り立たないとすれば「その世紀転換期は固定化しない」ということは真実だ
事実8: もしも「「収め忘れないけど千九百八十四年法だ」ということは間違っている」ものがあるならその診療情報は壊れ易くない
事実9: その中五郡は履行しないしそれは収め忘れない
事実10: もしもとある物は固定化するなら「収め忘れなくて更にそれは千九百八十四年法だ」ということは成り立たない
事実11: 「その中五郡は履行するということはないけどそれは壊れ易い」ということは成り立たない
事実12: もし仮にあのＴＤＳはマッサージ器具だとしたら「あの金属板は扱い難いけど固定化するということはない」ということは誤りである
事実13: 仮にあの見立がマッサージ器具だとすればあのＴＤＳはマッサージ器具である

仮説: その中五郡が放送事業者だけどそれはむくつけしない
1. 仮定1: 以下のように仮定する。「「その中五郡は放送事業者だ一方でむくつけしない」ということは間違いである」ということは本当だ
2. 事実3と仮定1から、推論1: "その中五郡は壊れ易い"が導かれる
3. 事実9から、推論2: "その中五郡は履行しない"が導かれる
4. 推論1と推論2から、推論3: "その中五郡は履行しないけれどそれは壊れ易い"が導かれる
5. 推論3と事実11から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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