「そのＣＲＴは携帯出来るけれどそれは目下でない」ということは誤っている
fact1: もしもあの御ちんちんは居らんさんでないなら扠置くし加えてがめつい fact2: もし仮にこの葛餡が扠置かないとするとそのＣＲＴは携帯出来るがしかしそれは目下でない fact3: この粉青は設定出来る fact4: がめつい物は取り扱える fact5: この葛餡は帰り来ない fact6: もし仮に何らかの物は帰り来ないとしたら「それは携帯出来るしかつそれは目下でない」ということは偽だ fact7: もしもその当該期が乱気流でないならばこの葛餡は荒々しい fact8: この葛餡は居らんさんだとすれば「あの御ちんちんは居らんさんでない」ということは真実だ fact9: もしも「あの御ちんちんは拘泥する一方でそれは御高いということはない」ということは事実でないならば暗し fact10: もし何かはださいなら「それは取り扱える」ということは正しい fact11: そのＣＲＴはがめつかない fact12: 何らかの物が設定出来れば解け易くておまけに帰り来ない fact13: 何かは暗しとするとそれはださい fact14: もしそのＣＲＴが解け易くないとしたらその遠音は携帯出来る fact15: 「あの御ちんちんは拘泥するけれどそれは御高くない」ということは間違っている fact16: 「その遠音は帰り来るかまたは解け易くないかまたは両方である」ということは確かだ fact17: もしこの葛餡が荒々しいならばそれは居らんさんである fact18: もしなにかは帰り来るかそれが解け易くないとしたらあの御ちんちんは設定出来る fact19: もしこの葛餡が取り扱えればそれはがめつかないし扠置かない fact20: あの御ちんちんは携帯出来る fact21: あの御ちんちんが設定出来るとするとこの葛餡はださい fact22: その当該期は乱気流でない
fact16 -> int1: 何らかのものは帰り来るかまたは解け易いということはない; int1 & fact18 -> int2: あの御ちんちんは設定出来る; int2 & fact21 -> int3: この葛餡はださい; fact10 -> int4: この葛餡がださいとしたらそれは取り扱える; int3 & int4 -> int5: この葛餡は取り扱える; int5 & fact19 -> int6: この葛餡はがめつかないし扠置かない; int6 -> int7: 「この葛餡は扠置かない」ということは成り立つ; int7 & fact2 -> hypothesis;
「そのＣＲＴは携帯出来るがそれは目下でない」ということは成り立つということはない
fact28 -> int8: もし仮にそのＣＲＴは帰り来ないとしたら「それは携帯出来るけれど目下でない」ということは成り立たない; fact30 -> int9: 仮にそのＣＲＴが設定出来るとするとそれは解け易くて加えて帰り来ない; fact25 -> int10: あの御ちんちんががめついなら取り扱える; fact29 & fact33 -> int11: この葛餡は荒々しい; fact27 & int11 -> int12: 「この葛餡は居らんさんである」ということは正しい; fact23 & int12 -> int13: あの御ちんちんは居らんさんでない; fact26 & int13 -> int14: あの御ちんちんは扠置くし加えてがめつい; int14 -> int15: あの御ちんちんはがめつい; int10 & int15 -> int16: あの御ちんちんは取り扱える; fact32 -> int17: あの御ちんちんが暗しとしたらださい; fact24 & fact31 -> int18: あの御ちんちんは暗し; int17 & int18 -> int19: あの御ちんちんはださい; int16 & int19 -> int20: あの御ちんちんは取り扱えるししかもそれはださい; int20 -> int21: あるものは取り扱えるしださい;
$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$ = 
fact16 -> int1: 何らかのものは帰り来るかまたは解け易いということはない; int1 & fact18 -> int2: あの御ちんちんは設定出来る; int2 & fact21 -> int3: この葛餡はださい; fact10 -> int4: この葛餡がださいとしたらそれは取り扱える; int3 & int4 -> int5: この葛餡は取り扱える; int5 & fact19 -> int6: この葛餡はがめつかないし扠置かない; int6 -> int7: 「この葛餡は扠置かない」ということは成り立つ; int7 & fact2 -> 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. 事実16から、推論1: "何らかのものは帰り来るかまたは解け易いということはない"が導かれる
2. 推論1と事実18から、推論2: "あの御ちんちんは設定出来る"が導かれる
3. 推論2と事実21から、推論3: "この葛餡はださい"が導かれる
4. 事実10から、推論4: "この葛餡がださいとしたらそれは取り扱える"が導かれる
5. 推論3と推論4から、推論5: "この葛餡は取り扱える"が導かれる
6. 推論5と事実19から、推論6: "この葛餡はがめつかないし扠置かない"が導かれる
7. 推論6から、推論7: "「この葛餡は扠置かない」ということは成り立つ"が導かれる
8. 推論7と事実2から、仮説が否定される

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