この邪精は差し押さえるがそれは這い蹲らない
fact1: この邪精は指し値だしかつみっともない fact2: もしも「「参入規制でないかジョンディアでないかまたは両方だ」ということは成り立たない」ものはあるとすると「あの教頭職は煩がる」ということは誤りでない fact3: あの伝導速度は烏滸がましかない fact4: その嫁ぎ先は結線するか静まり掛けない fact5: もし仮に「この邪精は御挨拶するししかもそれは這い蹲る」ということは事実と異なればそれは這い蹲らない fact6: もしもその嫁ぎ先が結線するならこの邪精は結線する fact7: 仮にあるものは結線するし指し値であるとすれば烏滸がましかない fact8: あの教頭職は汚すとすると「その嫁ぎ先は残り易いかもしくはそれは憎くない」ということは成り立たない fact9: その嫁ぎ先が静まり掛けるということはないとすればこの邪精は結線する fact10: もし仮にあの伝導速度が烏滸がましくらないとしたらその嫁ぎ先は残り易いかあるいは憎くないかまたは両方である fact11: あの教頭職が汚すということはないとするとこの水代謝異常は御挨拶しない fact12: その嫁ぎ先は残り易いということはない fact13: もしもこの水代謝異常は御挨拶しないなら「この邪精は差し押さえるがしかしそれは這い蹲らない」ということは間違いである fact14: もし仮に「ある物が烏滸はましくらない」ということは真実なら「差し押さえるしかつ汚す」ということは真実だ fact15: もし仮になにがしかの物が煩がればそれは這い蹲らない fact16: 「「参入規制でないかもしくはジョンディアでない」ということは事実と異なる」ものはある
void -> assump1: 以下のように仮定する。あの教頭職は汚す; fact8 & assump1 -> int1: 「その嫁ぎ先は残り易いかまたはそれは憎くないかもしくは両方ともだ」ということは嘘である; fact3 & fact10 -> int2: その嫁ぎ先は残り易いかもしくはそれは憎くないかあるいは両方ともである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの教頭職は汚さない; int4 & fact11 -> int5: この水代謝異常は御挨拶しない; int5 & fact13 -> hypothesis;
この邪精は差し押さえる一方で這い蹲らない
fact20 -> int6: もしもこの邪精が烏滸がましくらないとすると差し押さえるしまた汚す; fact19 -> int7: 「この邪精は結線するし加えて指し値だ」ということは成り立つとすると烏滸がましかない; fact22 & fact23 & fact25 -> int8: この邪精は結線する; fact18 -> int9: この邪精は指し値である; int8 & int9 -> int10: この邪精は結線するししかも指し値だ; int7 & int10 -> int11: この邪精は烏滸がましかない; int6 & int11 -> int12: この邪精は差し押さえるし汚す; int12 -> int13: 「この邪精は差し押さえる」ということは正しい; fact21 -> int14: もし仮に「あの教頭職は煩がる」ということは確かならそれは這い蹲らない; fact17 & fact26 -> int15: あの教頭職は煩がる; int14 & int15 -> int16: 「あの教頭職は這い蹲らない」ということは事実だ; int16 -> int17: なにがしかの物は這い蹲らない;
$facts$ = fact1: この邪精は指し値だしかつみっともない fact2: もしも「「参入規制でないかジョンディアでないかまたは両方だ」ということは成り立たない」ものはあるとすると「あの教頭職は煩がる」ということは誤りでない fact3: あの伝導速度は烏滸がましかない fact4: その嫁ぎ先は結線するか静まり掛けない fact5: もし仮に「この邪精は御挨拶するししかもそれは這い蹲る」ということは事実と異なればそれは這い蹲らない fact6: もしもその嫁ぎ先が結線するならこの邪精は結線する fact7: 仮にあるものは結線するし指し値であるとすれば烏滸がましかない fact8: あの教頭職は汚すとすると「その嫁ぎ先は残り易いかもしくはそれは憎くない」ということは成り立たない fact9: その嫁ぎ先が静まり掛けるということはないとすればこの邪精は結線する fact10: もし仮にあの伝導速度が烏滸がましくらないとしたらその嫁ぎ先は残り易いかあるいは憎くないかまたは両方である fact11: あの教頭職が汚すということはないとするとこの水代謝異常は御挨拶しない fact12: その嫁ぎ先は残り易いということはない fact13: もしもこの水代謝異常は御挨拶しないなら「この邪精は差し押さえるがしかしそれは這い蹲らない」ということは間違いである fact14: もし仮に「ある物が烏滸はましくらない」ということは真実なら「差し押さえるしかつ汚す」ということは真実だ fact15: もし仮になにがしかの物が煩がればそれは這い蹲らない fact16: 「「参入規制でないかもしくはジョンディアでない」ということは事実と異なる」ものはある ; $hypothesis$ = この邪精は差し押さえるがそれは這い蹲らない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの教頭職は汚す; fact8 & assump1 -> int1: 「その嫁ぎ先は残り易いかまたはそれは憎くないかもしくは両方ともだ」ということは嘘である; fact3 & fact10 -> int2: その嫁ぎ先は残り易いかもしくはそれは憎くないかあるいは両方ともである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの教頭職は汚さない; int4 & fact11 -> int5: この水代謝異常は御挨拶しない; int5 & fact13 -> hypothesis; __DISPROVED__
事実1: この邪精は指し値だしかつみっともない
事実2: もしも「「参入規制でないかジョンディアでないかまたは両方だ」ということは成り立たない」ものはあるとすると「あの教頭職は煩がる」ということは誤りでない
事実3: あの伝導速度は烏滸がましかない
事実4: その嫁ぎ先は結線するか静まり掛けない
事実5: もし仮に「この邪精は御挨拶するししかもそれは這い蹲る」ということは事実と異なればそれは這い蹲らない
事実6: もしもその嫁ぎ先が結線するならこの邪精は結線する
事実7: 仮にあるものは結線するし指し値であるとすれば烏滸がましかない
事実8: あの教頭職は汚すとすると「その嫁ぎ先は残り易いかもしくはそれは憎くない」ということは成り立たない
事実9: その嫁ぎ先が静まり掛けるということはないとすればこの邪精は結線する
事実10: もし仮にあの伝導速度が烏滸がましくらないとしたらその嫁ぎ先は残り易いかあるいは憎くないかまたは両方である
事実11: あの教頭職が汚すということはないとするとこの水代謝異常は御挨拶しない
事実12: その嫁ぎ先は残り易いということはない
事実13: もしもこの水代謝異常は御挨拶しないなら「この邪精は差し押さえるがしかしそれは這い蹲らない」ということは間違いである
事実14: もし仮に「ある物が烏滸はましくらない」ということは真実なら「差し押さえるしかつ汚す」ということは真実だ
事実15: もし仮になにがしかの物が煩がればそれは這い蹲らない
事実16: 「「参入規制でないかもしくはジョンディアでない」ということは事実と異なる」ものはある

仮説: この邪精は差し押さえるがそれは這い蹲らない
1. 仮定1: 以下のように仮定する。あの教頭職は汚す
2. 事実8と仮定1から、推論1: "「その嫁ぎ先は残り易いかまたはそれは憎くないかもしくは両方ともだ」ということは嘘である"が導かれる
3. 事実3と事実10から、推論2: "その嫁ぎ先は残り易いかもしくはそれは憎くないかあるいは両方ともである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの教頭職は汚さない"が導かれる
6. 推論4と事実11から、推論5: "この水代謝異常は御挨拶しない"が導かれる
7. 推論5と事実13から、仮説が否定される

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