「その飛行隊はＳチェックポイント機構である」ということは正しい
fact1: その飛行隊は騙され易い fact2: あの当該役務は紆余である fact3: とある物は剥げ落ちるしおまけに似る fact4: その飛行隊は充填する fact5: 仮に「剥げ落ちるし似る」ものがあるとするとあの当該役務はシーズン中だ fact6: この隠遁はシーズン中であるとしたら「あの当該役務は似る」ということは本当だ fact7: 「剥げ落ちる」ものはある fact8: あの当該役務は充填する fact9: もし仮にその飛行隊が忌ま忌ましいしさらに騙され易いとしたらそれはＳチェックポイント機構でない fact10: なにかは開創しないとすると充填する fact11: なんらかの物は列挙するということはない fact12: もし仮に「充填するが列挙しない」物があればその飛行隊は忌ま忌ましい fact13: もし仮にとあるものが開創しないとすると充填するししかも列挙するということはない fact14: もし仮に何らかのものが開創するということはないならば紆余だしシーズン中である fact15: 仮にあの当該役務は紆余であるしシーズン中だとすれば開創しない
fact3 & fact5 -> int1: あの当該役務はシーズン中である; int1 & fact2 -> int2: あの当該役務は紆余であってシーズン中である; int2 & fact15 -> int3: 「あの当該役務は開創する」ということは成り立たない; fact13 -> int4: もしもあの当該役務が開創するということはないならば充填するしそれは列挙しない; int3 & int4 -> int5: あの当該役務は充填するが列挙するということはない; int5 -> int6: 何かは充填するがそれは列挙しない; int6 & fact12 -> int7: その飛行隊は忌ま忌ましい; int7 & fact1 -> int8: その飛行隊は忌ま忌ましいし騙され易い; int8 & fact9 -> hypothesis;
その飛行隊はＳチェックポイント機構である
fact18 -> int9: もしも「この隠遁は開創しない」ということは事実なら紆余だしまたシーズン中だ;
$facts$ = fact1: その飛行隊は騙され易い fact2: あの当該役務は紆余である fact3: とある物は剥げ落ちるしおまけに似る fact4: その飛行隊は充填する fact5: 仮に「剥げ落ちるし似る」ものがあるとするとあの当該役務はシーズン中だ fact6: この隠遁はシーズン中であるとしたら「あの当該役務は似る」ということは本当だ fact7: 「剥げ落ちる」ものはある fact8: あの当該役務は充填する fact9: もし仮にその飛行隊が忌ま忌ましいしさらに騙され易いとしたらそれはＳチェックポイント機構でない fact10: なにかは開創しないとすると充填する fact11: なんらかの物は列挙するということはない fact12: もし仮に「充填するが列挙しない」物があればその飛行隊は忌ま忌ましい fact13: もし仮にとあるものが開創しないとすると充填するししかも列挙するということはない fact14: もし仮に何らかのものが開創するということはないならば紆余だしシーズン中である fact15: 仮にあの当該役務は紆余であるしシーズン中だとすれば開創しない ; $hypothesis$ = 「その飛行隊はＳチェックポイント機構である」ということは正しい ; $proof$ = 
fact3 & fact5 -> int1: あの当該役務はシーズン中である; int1 & fact2 -> int2: あの当該役務は紆余であってシーズン中である; int2 & fact15 -> int3: 「あの当該役務は開創する」ということは成り立たない; fact13 -> int4: もしもあの当該役務が開創するということはないならば充填するしそれは列挙しない; int3 & int4 -> int5: あの当該役務は充填するが列挙するということはない; int5 -> int6: 何かは充填するがそれは列挙しない; int6 & fact12 -> int7: その飛行隊は忌ま忌ましい; int7 & fact1 -> int8: その飛行隊は忌ま忌ましいし騙され易い; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: その飛行隊は騙され易い
事実2: あの当該役務は紆余である
事実3: とある物は剥げ落ちるしおまけに似る
事実4: その飛行隊は充填する
事実5: 仮に「剥げ落ちるし似る」ものがあるとするとあの当該役務はシーズン中だ
事実6: この隠遁はシーズン中であるとしたら「あの当該役務は似る」ということは本当だ
事実7: 「剥げ落ちる」ものはある
事実8: あの当該役務は充填する
事実9: もし仮にその飛行隊が忌ま忌ましいしさらに騙され易いとしたらそれはＳチェックポイント機構でない
事実10: なにかは開創しないとすると充填する
事実11: なんらかの物は列挙するということはない
事実12: もし仮に「充填するが列挙しない」物があればその飛行隊は忌ま忌ましい
事実13: もし仮にとあるものが開創しないとすると充填するししかも列挙するということはない
事実14: もし仮に何らかのものが開創するということはないならば紆余だしシーズン中である
事実15: 仮にあの当該役務は紆余であるしシーズン中だとすれば開創しない

仮説: 「その飛行隊はＳチェックポイント機構である」ということは正しい
1. 事実3と事実5から、推論1: "あの当該役務はシーズン中である"が導かれる
2. 推論1と事実2から、推論2: "あの当該役務は紆余であってシーズン中である"が導かれる
3. 推論2と事実15から、推論3: "「あの当該役務は開創する」ということは成り立たない"が導かれる
4. 事実13から、推論4: "もしもあの当該役務が開創するということはないならば充填するしそれは列挙しない"が導かれる
5. 推論3と推論4から、推論5: "あの当該役務は充填するが列挙するということはない"が導かれる
6. 推論5から、推論6: "何かは充填するがそれは列挙しない"が導かれる
7. 推論6と事実12から、推論7: "その飛行隊は忌ま忌ましい"が導かれる
8. 推論7と事実1から、推論8: "その飛行隊は忌ま忌ましいし騙され易い"が導かれる
9. 推論8と事実9から、仮説が否定される

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