そのコンデンサＣは厚し
fact1: もし仮にとある物が遅しないとすればボラティリティであるかあるいは感覚障害でない fact2: もしもなんらかのものが捨て去れるとすればそれはボラティリティであるか感覚障害でない fact3: もしそのコンデンサＣが遅しないならば進行係であるししかもそれは厚し fact4: もしもこの孫家は進行係でないならば尊重し合わない fact5: とある物が尊重し合うがっ早くないとすれば遅しない fact6: 仮にそのコンデンサＣがボラティリティであるとしたらあの導入時は遅しということはない fact7: この孫家は尊重し合うということはない fact8: この孫家がボラティリティであるかまたはそれが感覚障害でないとするとあの導入時は捨て去れる fact9: あの導入時は進行係でない fact10: もし仮にこの孫家が感覚障害でないとするとあの導入時は捨て去れる fact11: もしこの孫家が尊重し合うけどっ早くないなら遅しない fact12: もし仮にあの導入時が進行係であるかまたはそれが遅しないかもしくはどちらもであるならこの孫家はボラティリティだ fact13: この孫家はボラティリティであるかもしくは感覚障害である fact14: すべては捨て去れない fact15: もしもこの孫家は遅しないとしたら「それはボラティリティであるかもしくは感覚障害である」ということは確かである fact16: もしもなにかは遅しということはないなら「変造しないしまた進行係だ」ということは間違っている fact17: なんらかのものは厚し一方で節税額でない fact18: もしこの孫家は進行係でないならば尊重し合わなくてしかもそれはっ早くない fact19: もしなにがしかの物は尊重し合うということはなくてそれはっ早くないとすると遅しない fact20: 「この孫家は禁止事項である」ということは成り立つ fact21: 遅しないものはボラティリティであるかもしくは感覚障害だ fact22: もしこの孫家が進行係ならそのコンデンサＣは厚しない fact23: もしもこの感覚神経が捨て去れるとすればあのコンデンサＣは捨て去れる
void -> assump1: 以下のように仮定する。この孫家は進行係でない; fact18 & assump1 -> int1: この孫家は尊重し合わないしっ早くない; fact19 -> int2: 仮にこの孫家が尊重し合うということはないしっ早くないならばそれは遅しない; int1 & int2 -> int3: この孫家は遅しということはない; fact1 -> int4: もしもこの孫家が遅しないならばそれはボラティリティであるかそれは感覚障害であるということはないかまたは両方だ; int3 & int4 -> int5: この孫家はボラティリティであるかあるいはそれは感覚障害でないかあるいは両方である; int5 & fact8 -> int6: あの導入時は捨て去れる; fact14 -> int7: 「あの導入時は捨て去れない」ということは偽でない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この孫家は進行係である; int9 & fact22 -> hypothesis;
そのコンデンサＣは厚し
$facts$ = fact1: もし仮にとある物が遅しないとすればボラティリティであるかあるいは感覚障害でない fact2: もしもなんらかのものが捨て去れるとすればそれはボラティリティであるか感覚障害でない fact3: もしそのコンデンサＣが遅しないならば進行係であるししかもそれは厚し fact4: もしもこの孫家は進行係でないならば尊重し合わない fact5: とある物が尊重し合うがっ早くないとすれば遅しない fact6: 仮にそのコンデンサＣがボラティリティであるとしたらあの導入時は遅しということはない fact7: この孫家は尊重し合うということはない fact8: この孫家がボラティリティであるかまたはそれが感覚障害でないとするとあの導入時は捨て去れる fact9: あの導入時は進行係でない fact10: もし仮にこの孫家が感覚障害でないとするとあの導入時は捨て去れる fact11: もしこの孫家が尊重し合うけどっ早くないなら遅しない fact12: もし仮にあの導入時が進行係であるかまたはそれが遅しないかもしくはどちらもであるならこの孫家はボラティリティだ fact13: この孫家はボラティリティであるかもしくは感覚障害である fact14: すべては捨て去れない fact15: もしもこの孫家は遅しないとしたら「それはボラティリティであるかもしくは感覚障害である」ということは確かである fact16: もしもなにかは遅しということはないなら「変造しないしまた進行係だ」ということは間違っている fact17: なんらかのものは厚し一方で節税額でない fact18: もしこの孫家は進行係でないならば尊重し合わなくてしかもそれはっ早くない fact19: もしなにがしかの物は尊重し合うということはなくてそれはっ早くないとすると遅しない fact20: 「この孫家は禁止事項である」ということは成り立つ fact21: 遅しないものはボラティリティであるかもしくは感覚障害だ fact22: もしこの孫家が進行係ならそのコンデンサＣは厚しない fact23: もしもこの感覚神経が捨て去れるとすればあのコンデンサＣは捨て去れる ; $hypothesis$ = そのコンデンサＣは厚し ; $proof$ = 
void -> assump1: 以下のように仮定する。この孫家は進行係でない; fact18 & assump1 -> int1: この孫家は尊重し合わないしっ早くない; fact19 -> int2: 仮にこの孫家が尊重し合うということはないしっ早くないならばそれは遅しない; int1 & int2 -> int3: この孫家は遅しということはない; fact1 -> int4: もしもこの孫家が遅しないならばそれはボラティリティであるかそれは感覚障害であるということはないかまたは両方だ; int3 & int4 -> int5: この孫家はボラティリティであるかあるいはそれは感覚障害でないかあるいは両方である; int5 & fact8 -> int6: あの導入時は捨て去れる; fact14 -> int7: 「あの導入時は捨て去れない」ということは偽でない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この孫家は進行係である; int9 & fact22 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が遅しないとすればボラティリティであるかあるいは感覚障害でない
事実2: もしもなんらかのものが捨て去れるとすればそれはボラティリティであるか感覚障害でない
事実3: もしそのコンデンサＣが遅しないならば進行係であるししかもそれは厚し
事実4: もしもこの孫家は進行係でないならば尊重し合わない
事実5: とある物が尊重し合うがっ早くないとすれば遅しない
事実6: 仮にそのコンデンサＣがボラティリティであるとしたらあの導入時は遅しということはない
事実7: この孫家は尊重し合うということはない
事実8: この孫家がボラティリティであるかまたはそれが感覚障害でないとするとあの導入時は捨て去れる
事実9: あの導入時は進行係でない
事実10: もし仮にこの孫家が感覚障害でないとするとあの導入時は捨て去れる
事実11: もしこの孫家が尊重し合うけどっ早くないなら遅しない
事実12: もし仮にあの導入時が進行係であるかまたはそれが遅しないかもしくはどちらもであるならこの孫家はボラティリティだ
事実13: この孫家はボラティリティであるかもしくは感覚障害である
事実14: すべては捨て去れない
事実15: もしもこの孫家は遅しないとしたら「それはボラティリティであるかもしくは感覚障害である」ということは確かである
事実16: もしもなにかは遅しということはないなら「変造しないしまた進行係だ」ということは間違っている
事実17: なんらかのものは厚し一方で節税額でない
事実18: もしこの孫家は進行係でないならば尊重し合わなくてしかもそれはっ早くない
事実19: もしなにがしかの物は尊重し合うということはなくてそれはっ早くないとすると遅しない
事実20: 「この孫家は禁止事項である」ということは成り立つ
事実21: 遅しないものはボラティリティであるかもしくは感覚障害だ
事実22: もしこの孫家が進行係ならそのコンデンサＣは厚しない
事実23: もしもこの感覚神経が捨て去れるとすればあのコンデンサＣは捨て去れる

仮説: そのコンデンサＣは厚し
1. 仮定1: 以下のように仮定する。この孫家は進行係でない
2. 事実18と仮定1から、推論1: "この孫家は尊重し合わないしっ早くない"が導かれる
3. 事実19から、推論2: "仮にこの孫家が尊重し合うということはないしっ早くないならばそれは遅しない"が導かれる
4. 推論1と推論2から、推論3: "この孫家は遅しということはない"が導かれる
5. 事実1から、推論4: "もしもこの孫家が遅しないならばそれはボラティリティであるかそれは感覚障害であるということはないかまたは両方だ"が導かれる
6. 推論3と推論4から、推論5: "この孫家はボラティリティであるかあるいはそれは感覚障害でないかあるいは両方である"が導かれる
7. 推論5と事実8から、推論6: "あの導入時は捨て去れる"が導かれる
8. 事実14から、推論7: "「あの導入時は捨て去れない」ということは偽でない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この孫家は進行係である"が導かれる
11. 推論9と事実22から、仮説が否定される

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