その既存事業は行儀良くない
fact1: 「なにがしかのものは全集類であるしそれは行儀良い」ということは正しくないとすればそれは行儀良くない fact2: 皮膚科患者は非平衡システムである fact3: このアーチ型は全集類である fact4: もしもなんらかのものが開き切るならそれは脅かし兼ねる fact5: 「「非平衡システムである」物はある」ということは成り立つ fact6: 仮にあの法律違反は纏わり付くとしたら「その既存事業は行儀良い」ということは真実だ fact7: あの法律違反は全集類だ fact8: もし仮にあの法律違反が開き切るならこのアーチ型は纏わり付く fact9: このアーチ型は全集類であるし更にかったるい fact10: もしあの法律違反がかったるいということはないとしたらこのアーチ型は行儀良いということはない fact11: このアーチ型は皮膚科患者であるしおまけに心霊現象である fact12: もし「その交響詩は開き切るということはないけれどそれはかったるい」ということは確かでないとすると「あの法律違反はかったるくない」ということは真実である fact13: もしも「なにがしかのものはかったるい」ということは間違いでないならば「開き切る」ということは事実だ fact14: あるものは脅かし兼ねる fact15: 「非平衡システムで脅かし兼ねる」物はあるとすると「あの法律違反は纏わり付く」ということは真実だ fact16: 仮に「その老人性白内障は脅かし兼ねるか非平衡システムであるかもしくは両方である」ということは成り立つということはないならばその交響詩は脅かし兼ねるということはない fact17: このアーチ型は心霊現象だ fact18: あの征伐は行儀良い
fact9 -> int1: このアーチ型はかったるい; fact13 -> int2: もし仮に「このアーチ型はかったるい」ということは確かならばそれは開き切る; int1 & int2 -> int3: このアーチ型は開き切る; fact4 -> int4: もしもこのアーチ型が開き切るとすると脅かし兼ねる; int3 & int4 -> int5: このアーチ型は脅かし兼ねる; fact2 -> int6: もし仮にこのアーチ型は皮膚科患者であるとしたらそれは非平衡システムである; fact11 -> int7: このアーチ型は皮膚科患者である; int6 & int7 -> int8: このアーチ型は非平衡システムだ; int5 & int8 -> int9: このアーチ型は非平衡システムであるししかもそれは脅かし兼ねる; int9 -> int10: ある物は非平衡システムであるし脅かし兼ねる; int10 & fact15 -> int11: あの法律違反は纏わり付く; int11 & fact6 -> hypothesis;
「その既存事業は行儀良くない」ということは確かだ
fact20 -> int12: 仮に「その既存事業は全集類であるしおまけに行儀良い」ということは誤っていればそれは行儀良いということはない;
$facts$ = fact1: 「なにがしかのものは全集類であるしそれは行儀良い」ということは正しくないとすればそれは行儀良くない fact2: 皮膚科患者は非平衡システムである fact3: このアーチ型は全集類である fact4: もしもなんらかのものが開き切るならそれは脅かし兼ねる fact5: 「「非平衡システムである」物はある」ということは成り立つ fact6: 仮にあの法律違反は纏わり付くとしたら「その既存事業は行儀良い」ということは真実だ fact7: あの法律違反は全集類だ fact8: もし仮にあの法律違反が開き切るならこのアーチ型は纏わり付く fact9: このアーチ型は全集類であるし更にかったるい fact10: もしあの法律違反がかったるいということはないとしたらこのアーチ型は行儀良いということはない fact11: このアーチ型は皮膚科患者であるしおまけに心霊現象である fact12: もし「その交響詩は開き切るということはないけれどそれはかったるい」ということは確かでないとすると「あの法律違反はかったるくない」ということは真実である fact13: もしも「なにがしかのものはかったるい」ということは間違いでないならば「開き切る」ということは事実だ fact14: あるものは脅かし兼ねる fact15: 「非平衡システムで脅かし兼ねる」物はあるとすると「あの法律違反は纏わり付く」ということは真実だ fact16: 仮に「その老人性白内障は脅かし兼ねるか非平衡システムであるかもしくは両方である」ということは成り立つということはないならばその交響詩は脅かし兼ねるということはない fact17: このアーチ型は心霊現象だ fact18: あの征伐は行儀良い ; $hypothesis$ = その既存事業は行儀良くない ; $proof$ = 
fact9 -> int1: このアーチ型はかったるい; fact13 -> int2: もし仮に「このアーチ型はかったるい」ということは確かならばそれは開き切る; int1 & int2 -> int3: このアーチ型は開き切る; fact4 -> int4: もしもこのアーチ型が開き切るとすると脅かし兼ねる; int3 & int4 -> int5: このアーチ型は脅かし兼ねる; fact2 -> int6: もし仮にこのアーチ型は皮膚科患者であるとしたらそれは非平衡システムである; fact11 -> int7: このアーチ型は皮膚科患者である; int6 & int7 -> int8: このアーチ型は非平衡システムだ; int5 & int8 -> int9: このアーチ型は非平衡システムであるししかもそれは脅かし兼ねる; int9 -> int10: ある物は非平衡システムであるし脅かし兼ねる; int10 & fact15 -> int11: あの法律違反は纏わり付く; int11 & fact6 -> hypothesis; __DISPROVED__
事実1: 「なにがしかのものは全集類であるしそれは行儀良い」ということは正しくないとすればそれは行儀良くない
事実2: 皮膚科患者は非平衡システムである
事実3: このアーチ型は全集類である
事実4: もしもなんらかのものが開き切るならそれは脅かし兼ねる
事実5: 「「非平衡システムである」物はある」ということは成り立つ
事実6: 仮にあの法律違反は纏わり付くとしたら「その既存事業は行儀良い」ということは真実だ
事実7: あの法律違反は全集類だ
事実8: もし仮にあの法律違反が開き切るならこのアーチ型は纏わり付く
事実9: このアーチ型は全集類であるし更にかったるい
事実10: もしあの法律違反がかったるいということはないとしたらこのアーチ型は行儀良いということはない
事実11: このアーチ型は皮膚科患者であるしおまけに心霊現象である
事実12: もし「その交響詩は開き切るということはないけれどそれはかったるい」ということは確かでないとすると「あの法律違反はかったるくない」ということは真実である
事実13: もしも「なにがしかのものはかったるい」ということは間違いでないならば「開き切る」ということは事実だ
事実14: あるものは脅かし兼ねる
事実15: 「非平衡システムで脅かし兼ねる」物はあるとすると「あの法律違反は纏わり付く」ということは真実だ
事実16: 仮に「その老人性白内障は脅かし兼ねるか非平衡システムであるかもしくは両方である」ということは成り立つということはないならばその交響詩は脅かし兼ねるということはない
事実17: このアーチ型は心霊現象だ
事実18: あの征伐は行儀良い

仮説: その既存事業は行儀良くない
1. 事実9から、推論1: "このアーチ型はかったるい"が導かれる
2. 事実13から、推論2: "もし仮に「このアーチ型はかったるい」ということは確かならばそれは開き切る"が導かれる
3. 推論1と推論2から、推論3: "このアーチ型は開き切る"が導かれる
4. 事実4から、推論4: "もしもこのアーチ型が開き切るとすると脅かし兼ねる"が導かれる
5. 推論3と推論4から、推論5: "このアーチ型は脅かし兼ねる"が導かれる
6. 事実2から、推論6: "もし仮にこのアーチ型は皮膚科患者であるとしたらそれは非平衡システムである"が導かれる
7. 事実11から、推論7: "このアーチ型は皮膚科患者である"が導かれる
8. 推論6と推論7から、推論8: "このアーチ型は非平衡システムだ"が導かれる
9. 推論5と推論8から、推論9: "このアーチ型は非平衡システムであるししかもそれは脅かし兼ねる"が導かれる
10. 推論9から、推論10: "ある物は非平衡システムであるし脅かし兼ねる"が導かれる
11. 推論10と事実15から、推論11: "あの法律違反は纏わり付く"が導かれる
12. 推論11と事実6から、仮説が否定される

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