「この痛切は脱がないが命中する」ということは真実でない
fact1: あの空自は疑わしい fact2: もしも「この講習は疑わしくない」ということは本当であるならそれは断り続ける fact3: もしもこの講習が疑わしいということはないとすると断り続けるがしかし住宅取得資金等でない fact4: もし「この授業中は欲深くないがしかし酸化し難い」ということは誤りであるとしたらこの痛切は運転し易い fact5: もしもこの講習が疑わしいならばあの学級編制基準はＳＥＤだ fact6: 仮になにがしかの物は早いとすると「それは脱ぐということはないけど疑わしい」ということは本当でない fact7: もしも「この講習は欲深くないが住宅取得資金等だ」ということは真実でないとすれば「住宅取得資金等でない」ということは真実である fact8: もしなんらかのものは疑わしいとすると「それは脱がないけど命中する」ということは確かであるということはない fact9: この講習が断り続けるが住宅取得資金等でないとしたらこの授業中は早い fact10: もし仮にこの痛切が運転し易いなら脱がない fact11: もしもこの授業中は欲深いとすると「「それは断り続けないが運転し易い」ということは成り立つ」ということは成り立たない fact12: 「この学級編制基準は呆気なくないけどそれはＳＥＤである」ということは成り立たないならＳＥＤでない fact13: 「この学級編制基準は呆気なくないがしかしＳＥＤである」ということは成り立つということはない fact14: 仮になんらかのものは早いならば「欲深くてそれに酸化し難い」ということは事実と異なる fact15: もしもこの痛切が運転し易いとすればそれは脱ぐということはなくて加えて命中する fact16: 仮になんらかのものは早いとすると「それは欲深くないし酸化し難い」ということは偽である fact17: この授業中が酸化し難いが命中しないとすればあの講習は断り続ける
void -> assump1: 以下のように仮定する。この講習は疑わしい; fact5 & assump1 -> int1: この学級編制基準はＳＥＤである; fact13 & fact12 -> int2: この学級編制基準はＳＥＤでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この講習は疑わしくない; int4 & fact3 -> int5: この講習は断り続けるがしかしそれは住宅取得資金等でない; int5 & fact9 -> int6: この授業中は早い; fact16 -> int7: 仮にこの授業中は早いならば「それは欲深くないが酸化し難い」ということは成り立たない; int6 & int7 -> int8: 「この授業中は欲深くないがそれは酸化し難い」ということは誤りだ; int8 & fact4 -> int9: この痛切は運転し易い; int9 & fact15 -> hypothesis;
「この痛切は脱がない一方でそれは命中する」ということは嘘である
fact18 -> int10: 仮にこの痛切は疑わしいとすると「それは脱がなくてしかもそれは命中する」ということは成り立たない;
$facts$ = fact1: あの空自は疑わしい fact2: もしも「この講習は疑わしくない」ということは本当であるならそれは断り続ける fact3: もしもこの講習が疑わしいということはないとすると断り続けるがしかし住宅取得資金等でない fact4: もし「この授業中は欲深くないがしかし酸化し難い」ということは誤りであるとしたらこの痛切は運転し易い fact5: もしもこの講習が疑わしいならばあの学級編制基準はＳＥＤだ fact6: 仮になにがしかの物は早いとすると「それは脱ぐということはないけど疑わしい」ということは本当でない fact7: もしも「この講習は欲深くないが住宅取得資金等だ」ということは真実でないとすれば「住宅取得資金等でない」ということは真実である fact8: もしなんらかのものは疑わしいとすると「それは脱がないけど命中する」ということは確かであるということはない fact9: この講習が断り続けるが住宅取得資金等でないとしたらこの授業中は早い fact10: もし仮にこの痛切が運転し易いなら脱がない fact11: もしもこの授業中は欲深いとすると「「それは断り続けないが運転し易い」ということは成り立つ」ということは成り立たない fact12: 「この学級編制基準は呆気なくないけどそれはＳＥＤである」ということは成り立たないならＳＥＤでない fact13: 「この学級編制基準は呆気なくないがしかしＳＥＤである」ということは成り立つということはない fact14: 仮になんらかのものは早いならば「欲深くてそれに酸化し難い」ということは事実と異なる fact15: もしもこの痛切が運転し易いとすればそれは脱ぐということはなくて加えて命中する fact16: 仮になんらかのものは早いとすると「それは欲深くないし酸化し難い」ということは偽である fact17: この授業中が酸化し難いが命中しないとすればあの講習は断り続ける ; $hypothesis$ = 「この痛切は脱がないが命中する」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この講習は疑わしい; fact5 & assump1 -> int1: この学級編制基準はＳＥＤである; fact13 & fact12 -> int2: この学級編制基準はＳＥＤでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この講習は疑わしくない; int4 & fact3 -> int5: この講習は断り続けるがしかしそれは住宅取得資金等でない; int5 & fact9 -> int6: この授業中は早い; fact16 -> int7: 仮にこの授業中は早いならば「それは欲深くないが酸化し難い」ということは成り立たない; int6 & int7 -> int8: 「この授業中は欲深くないがそれは酸化し難い」ということは誤りだ; int8 & fact4 -> int9: この痛切は運転し易い; int9 & fact15 -> hypothesis; __DISPROVED__
事実1: あの空自は疑わしい
事実2: もしも「この講習は疑わしくない」ということは本当であるならそれは断り続ける
事実3: もしもこの講習が疑わしいということはないとすると断り続けるがしかし住宅取得資金等でない
事実4: もし「この授業中は欲深くないがしかし酸化し難い」ということは誤りであるとしたらこの痛切は運転し易い
事実5: もしもこの講習が疑わしいならばあの学級編制基準はＳＥＤだ
事実6: 仮になにがしかの物は早いとすると「それは脱ぐということはないけど疑わしい」ということは本当でない
事実7: もしも「この講習は欲深くないが住宅取得資金等だ」ということは真実でないとすれば「住宅取得資金等でない」ということは真実である
事実8: もしなんらかのものは疑わしいとすると「それは脱がないけど命中する」ということは確かであるということはない
事実9: この講習が断り続けるが住宅取得資金等でないとしたらこの授業中は早い
事実10: もし仮にこの痛切が運転し易いなら脱がない
事実11: もしもこの授業中は欲深いとすると「「それは断り続けないが運転し易い」ということは成り立つ」ということは成り立たない
事実12: 「この学級編制基準は呆気なくないけどそれはＳＥＤである」ということは成り立たないならＳＥＤでない
事実13: 「この学級編制基準は呆気なくないがしかしＳＥＤである」ということは成り立つということはない
事実14: 仮になんらかのものは早いならば「欲深くてそれに酸化し難い」ということは事実と異なる
事実15: もしもこの痛切が運転し易いとすればそれは脱ぐということはなくて加えて命中する
事実16: 仮になんらかのものは早いとすると「それは欲深くないし酸化し難い」ということは偽である
事実17: この授業中が酸化し難いが命中しないとすればあの講習は断り続ける

仮説: 「この痛切は脱がないが命中する」ということは真実でない
1. 仮定1: 以下のように仮定する。この講習は疑わしい
2. 事実5と仮定1から、推論1: "この学級編制基準はＳＥＤである"が導かれる
3. 事実13と事実12から、推論2: "この学級編制基準はＳＥＤでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この講習は疑わしくない"が導かれる
6. 推論4と事実3から、推論5: "この講習は断り続けるがしかしそれは住宅取得資金等でない"が導かれる
7. 推論5と事実9から、推論6: "この授業中は早い"が導かれる
8. 事実16から、推論7: "仮にこの授業中は早いならば「それは欲深くないが酸化し難い」ということは成り立たない"が導かれる
9. 推論6と推論7から、推論8: "「この授業中は欲深くないがそれは酸化し難い」ということは誤りだ"が導かれる
10. 推論8と事実4から、推論9: "この痛切は運転し易い"が導かれる
11. 推論9と事実15から、仮説が否定される

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