「その動員・操作は崩壊後である」ということは真実だ
fact1: この在院期間はだらだらする fact2: もしも何かはだらだらするとすると「開き易くなくてそれは該当地域でない」ということは誤っている fact3: その動員・操作は該当地域だ fact4: その女店員は宿主特異的毒素である fact5: すべての物はだらだらする fact6: この抜根は宿主特異的毒素ならば「身体化しない」ということは成り立つ fact7: この在院期間は農協事業でない fact8: もしそのロックガーデンは伸び易くないとすれば「「この在院期間は開き易いしさらにだらだらする」ということは本当だ」ということは偽だ fact9: もしこの在院期間が開き易くないとすればあの動員・操作が崩壊後だしさらにそれは該当地域だ fact10: 「そのウォルナットは身軽い」ということは成り立つ fact11: その動員・操作はだらだらする fact12: 全ては開き易いしまただらだらする fact13: この在院期間は該当地域であるとしたら農協事業でない fact14: この在院期間は該当地域だ fact15: 仮にそのソーシャルワーカー達が履き替えないならそのロックガーデンは割れ易いかそれは伸び易くない fact16: もし仮にあるものが該当地域でなくてその上開き易いということがないとしたら素晴らし fact17: もし仮に「とある物は開き易くてだらだらする」ということは成り立たないとすればそれは開き易くない fact18: 仮にこの在院期間が該当地域ならば農協事業でない一方で宿主特異的毒素だ fact19: もしもこの在院期間が開き易いしその上宿主特異的毒素であるとするとその動員・操作は崩壊後でない fact20: その動員・操作は宿主特異的毒素でない fact21: この塩茹で用は宿主特異的毒素だ fact22: 割れ易いかあるいは伸び易いということはない物は伸び易くない
fact18 & fact14 -> int1: この在院期間は農協事業でないけれどそれは宿主特異的毒素である; int1 -> int2: この在院期間は宿主特異的毒素だ; fact12 -> int3: この在院期間は開き易くてだらだらする; int3 -> int4: この在院期間は開き易い; int2 & int4 -> int5: この在院期間は開き易いし宿主特異的毒素である; int5 & fact19 -> hypothesis;
その動員・操作は崩壊後だ
fact28 -> int6: もし仮に「この在院期間は開き易くてだらだらする」ということは間違っていればそれは開き易くない; fact23 -> int7: 仮にそのロックガーデンが割れ易いかそれは伸び易くないかあるいは両方ともであるとすると伸び易くない;
$facts$ = fact1: この在院期間はだらだらする fact2: もしも何かはだらだらするとすると「開き易くなくてそれは該当地域でない」ということは誤っている fact3: その動員・操作は該当地域だ fact4: その女店員は宿主特異的毒素である fact5: すべての物はだらだらする fact6: この抜根は宿主特異的毒素ならば「身体化しない」ということは成り立つ fact7: この在院期間は農協事業でない fact8: もしそのロックガーデンは伸び易くないとすれば「「この在院期間は開き易いしさらにだらだらする」ということは本当だ」ということは偽だ fact9: もしこの在院期間が開き易くないとすればあの動員・操作が崩壊後だしさらにそれは該当地域だ fact10: 「そのウォルナットは身軽い」ということは成り立つ fact11: その動員・操作はだらだらする fact12: 全ては開き易いしまただらだらする fact13: この在院期間は該当地域であるとしたら農協事業でない fact14: この在院期間は該当地域だ fact15: 仮にそのソーシャルワーカー達が履き替えないならそのロックガーデンは割れ易いかそれは伸び易くない fact16: もし仮にあるものが該当地域でなくてその上開き易いということがないとしたら素晴らし fact17: もし仮に「とある物は開き易くてだらだらする」ということは成り立たないとすればそれは開き易くない fact18: 仮にこの在院期間が該当地域ならば農協事業でない一方で宿主特異的毒素だ fact19: もしもこの在院期間が開き易いしその上宿主特異的毒素であるとするとその動員・操作は崩壊後でない fact20: その動員・操作は宿主特異的毒素でない fact21: この塩茹で用は宿主特異的毒素だ fact22: 割れ易いかあるいは伸び易いということはない物は伸び易くない ; $hypothesis$ = 「その動員・操作は崩壊後である」ということは真実だ ; $proof$ = 
fact18 & fact14 -> int1: この在院期間は農協事業でないけれどそれは宿主特異的毒素である; int1 -> int2: この在院期間は宿主特異的毒素だ; fact12 -> int3: この在院期間は開き易くてだらだらする; int3 -> int4: この在院期間は開き易い; int2 & int4 -> int5: この在院期間は開き易いし宿主特異的毒素である; int5 & fact19 -> hypothesis; __DISPROVED__
事実1: この在院期間はだらだらする
事実2: もしも何かはだらだらするとすると「開き易くなくてそれは該当地域でない」ということは誤っている
事実3: その動員・操作は該当地域だ
事実4: その女店員は宿主特異的毒素である
事実5: すべての物はだらだらする
事実6: この抜根は宿主特異的毒素ならば「身体化しない」ということは成り立つ
事実7: この在院期間は農協事業でない
事実8: もしそのロックガーデンは伸び易くないとすれば「「この在院期間は開き易いしさらにだらだらする」ということは本当だ」ということは偽だ
事実9: もしこの在院期間が開き易くないとすればあの動員・操作が崩壊後だしさらにそれは該当地域だ
事実10: 「そのウォルナットは身軽い」ということは成り立つ
事実11: その動員・操作はだらだらする
事実12: 全ては開き易いしまただらだらする
事実13: この在院期間は該当地域であるとしたら農協事業でない
事実14: この在院期間は該当地域だ
事実15: 仮にそのソーシャルワーカー達が履き替えないならそのロックガーデンは割れ易いかそれは伸び易くない
事実16: もし仮にあるものが該当地域でなくてその上開き易いということがないとしたら素晴らし
事実17: もし仮に「とある物は開き易くてだらだらする」ということは成り立たないとすればそれは開き易くない
事実18: 仮にこの在院期間が該当地域ならば農協事業でない一方で宿主特異的毒素だ
事実19: もしもこの在院期間が開き易いしその上宿主特異的毒素であるとするとその動員・操作は崩壊後でない
事実20: その動員・操作は宿主特異的毒素でない
事実21: この塩茹で用は宿主特異的毒素だ
事実22: 割れ易いかあるいは伸び易いということはない物は伸び易くない

仮説: 「その動員・操作は崩壊後である」ということは真実だ
1. 事実18と事実14から、推論1: "この在院期間は農協事業でないけれどそれは宿主特異的毒素である"が導かれる
2. 推論1から、推論2: "この在院期間は宿主特異的毒素だ"が導かれる
3. 事実12から、推論3: "この在院期間は開き易くてだらだらする"が導かれる
4. 推論3から、推論4: "この在院期間は開き易い"が導かれる
5. 推論2と推論4から、推論5: "この在院期間は開き易いし宿主特異的毒素である"が導かれる
6. 推論5と事実19から、仮説が否定される

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