あの除算は緩み掛けない
fact1: あの恨み言は絶句する fact2: この地裁は絶句する fact3: 「その感染症患者は打設する」ということは事実である fact4: 「何かは絶句しないがトークンだ」ということは事実と異なるとするとそれは緩み掛けない fact5: もしその感染症患者が絶句するとするとそれはトークンである fact6: もしも「九百三十一メッセージでない」ものがあるならばあの除算は行政自らである fact7: もし仮に「「九百三十一メッセージだけど解放記念日でない」ということは誤りな」物があるならあの除算は行政自らである fact8: あの除算は御受けに成る fact9: その感染症患者が緩み掛けるとするとそれは絶句する fact10: もしその感染症患者はトークンであるならば「あの恨み言は九百三十一メッセージだがしかしそれは解放記念日でない」ということは成り立たない fact11: この開始日は九百三十一メッセージだ fact12: とある物は九百三十一メッセージでないとすると「それは絶句しなくてまたトークンだ」ということは成り立たない fact13: もし何らかの物が吸い寄せるとしたら九百三十一メッセージだ fact14: もし何らかのものは行政自らであるとしたらそれは緩み掛ける fact15: その感染症患者は絶句する
fact5 & fact15 -> int1: 「その感染症患者はトークンである」ということは確かである; int1 & fact10 -> int2: 「あの恨み言は九百三十一メッセージだけれど解放記念日でない」ということは事実と異なる; int2 -> int3: 「「九百三十一メッセージでそれに解放記念日でない」ということは成り立たない」物はある; int3 & fact7 -> int4: あの除算は行政自らだ; fact14 -> int5: もしもあの除算が行政自らだとすると緩み掛ける; int4 & int5 -> hypothesis;
もし「あの先学は吸い寄せる」ということは真実であるならばそれは九百三十一メッセージである
fact16 -> hypothesis;
$facts$ = fact1: あの恨み言は絶句する fact2: この地裁は絶句する fact3: 「その感染症患者は打設する」ということは事実である fact4: 「何かは絶句しないがトークンだ」ということは事実と異なるとするとそれは緩み掛けない fact5: もしその感染症患者が絶句するとするとそれはトークンである fact6: もしも「九百三十一メッセージでない」ものがあるならばあの除算は行政自らである fact7: もし仮に「「九百三十一メッセージだけど解放記念日でない」ということは誤りな」物があるならあの除算は行政自らである fact8: あの除算は御受けに成る fact9: その感染症患者が緩み掛けるとするとそれは絶句する fact10: もしその感染症患者はトークンであるならば「あの恨み言は九百三十一メッセージだがしかしそれは解放記念日でない」ということは成り立たない fact11: この開始日は九百三十一メッセージだ fact12: とある物は九百三十一メッセージでないとすると「それは絶句しなくてまたトークンだ」ということは成り立たない fact13: もし何らかの物が吸い寄せるとしたら九百三十一メッセージだ fact14: もし何らかのものは行政自らであるとしたらそれは緩み掛ける fact15: その感染症患者は絶句する ; $hypothesis$ = あの除算は緩み掛けない ; $proof$ = 
fact5 & fact15 -> int1: 「その感染症患者はトークンである」ということは確かである; int1 & fact10 -> int2: 「あの恨み言は九百三十一メッセージだけれど解放記念日でない」ということは事実と異なる; int2 -> int3: 「「九百三十一メッセージでそれに解放記念日でない」ということは成り立たない」物はある; int3 & fact7 -> int4: あの除算は行政自らだ; fact14 -> int5: もしもあの除算が行政自らだとすると緩み掛ける; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あの恨み言は絶句する
事実2: この地裁は絶句する
事実3: 「その感染症患者は打設する」ということは事実である
事実4: 「何かは絶句しないがトークンだ」ということは事実と異なるとするとそれは緩み掛けない
事実5: もしその感染症患者が絶句するとするとそれはトークンである
事実6: もしも「九百三十一メッセージでない」ものがあるならばあの除算は行政自らである
事実7: もし仮に「「九百三十一メッセージだけど解放記念日でない」ということは誤りな」物があるならあの除算は行政自らである
事実8: あの除算は御受けに成る
事実9: その感染症患者が緩み掛けるとするとそれは絶句する
事実10: もしその感染症患者はトークンであるならば「あの恨み言は九百三十一メッセージだがしかしそれは解放記念日でない」ということは成り立たない
事実11: この開始日は九百三十一メッセージだ
事実12: とある物は九百三十一メッセージでないとすると「それは絶句しなくてまたトークンだ」ということは成り立たない
事実13: もし何らかの物が吸い寄せるとしたら九百三十一メッセージだ
事実14: もし何らかのものは行政自らであるとしたらそれは緩み掛ける
事実15: その感染症患者は絶句する

仮説: あの除算は緩み掛けない
1. 事実5と事実15から、推論1: "「その感染症患者はトークンである」ということは確かである"が導かれる
2. 推論1と事実10から、推論2: "「あの恨み言は九百三十一メッセージだけれど解放記念日でない」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「九百三十一メッセージでそれに解放記念日でない」ということは成り立たない」物はある"が導かれる
4. 推論3と事実7から、推論4: "あの除算は行政自らだ"が導かれる
5. 事実14から、推論5: "もしもあの除算が行政自らだとすると緩み掛ける"が導かれる
6. 推論4と推論5から、仮説が否定される

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