あの補体蛋白質はぷりぷりしない
fact1: その根曲がり茸は海外子会社だ fact2: その根曲がり茸が海外子会社ならその塩抜きは歌い出さない fact3: 「もし仮にその根曲がり茸が海外子会社であるならその塩抜きは歌い出すということはなくてそれは考え難くない」ということは事実である fact4: 仮にその根曲がり茸は把握し易くないとしたら「それはサプライであるし提案出来る」ということは間違っている fact5: なにがしかのものが歌い出す一方でそれが考え難くないとしたら提案出来る fact6: もしも「あるものは海外子会社だし加えてそれは提案出来る」ということは誤っていればそれはぷりぷりしない fact7: もし仮にあの補体蛋白質はサプライであるということはないとすると「それは海外子会社であるし提案出来る」ということは成り立たない fact8: その塩抜きが海外子会社であるとするとその根曲がり茸は考え難くない fact9: その根曲がり茸は考え難い fact10: もしなにがしかの物が歌い出さないしそれが考え難くないとすると提案出来る fact11: その塩抜きは歌い出すがしかし考え難いということはないとすれば提案出来る fact12: その塩抜きは歌い出さない fact13: 仮に「その塩抜きは同時代史でない一方で把握し易い」ということは偽だとすればその根曲がり茸は把握し易くない fact14: 仮にその塩抜きが提案出来るならあの補体蛋白質はぷりぷりする fact15: 「なにがしかの物はサプライで提案出来る」ということは偽であるとしたら「海外子会社だということはない」ということは正しい
fact3 & fact1 -> int1: その塩抜きは歌い出さなくてまたそれは考え難くない; fact10 -> int2: もし仮にその塩抜きは歌い出さないし考え難くないとするとそれは提案出来る; int1 & int2 -> int3: その塩抜きは提案出来る; int3 & fact14 -> hypothesis;
fact3 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); fact10 -> int2: (¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact14 -> hypothesis;
あの補体蛋白質はぷりぷりするということはない
fact17 -> int4: もしも「その根曲がり茸はサプライであるし更に提案出来る」ということは確かでないならそれは海外子会社でない;
$facts$ = fact1: その根曲がり茸は海外子会社だ fact2: その根曲がり茸が海外子会社ならその塩抜きは歌い出さない fact3: 「もし仮にその根曲がり茸が海外子会社であるならその塩抜きは歌い出すということはなくてそれは考え難くない」ということは事実である fact4: 仮にその根曲がり茸は把握し易くないとしたら「それはサプライであるし提案出来る」ということは間違っている fact5: なにがしかのものが歌い出す一方でそれが考え難くないとしたら提案出来る fact6: もしも「あるものは海外子会社だし加えてそれは提案出来る」ということは誤っていればそれはぷりぷりしない fact7: もし仮にあの補体蛋白質はサプライであるということはないとすると「それは海外子会社であるし提案出来る」ということは成り立たない fact8: その塩抜きが海外子会社であるとするとその根曲がり茸は考え難くない fact9: その根曲がり茸は考え難い fact10: もしなにがしかの物が歌い出さないしそれが考え難くないとすると提案出来る fact11: その塩抜きは歌い出すがしかし考え難いということはないとすれば提案出来る fact12: その塩抜きは歌い出さない fact13: 仮に「その塩抜きは同時代史でない一方で把握し易い」ということは偽だとすればその根曲がり茸は把握し易くない fact14: 仮にその塩抜きが提案出来るならあの補体蛋白質はぷりぷりする fact15: 「なにがしかの物はサプライで提案出来る」ということは偽であるとしたら「海外子会社だということはない」ということは正しい ; $hypothesis$ = あの補体蛋白質はぷりぷりしない ; $proof$ = 
fact3 & fact1 -> int1: その塩抜きは歌い出さなくてまたそれは考え難くない; fact10 -> int2: もし仮にその塩抜きは歌い出さないし考え難くないとするとそれは提案出来る; int1 & int2 -> int3: その塩抜きは提案出来る; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: その根曲がり茸は海外子会社だ
事実2: その根曲がり茸が海外子会社ならその塩抜きは歌い出さない
事実3: 「もし仮にその根曲がり茸が海外子会社であるならその塩抜きは歌い出すということはなくてそれは考え難くない」ということは事実である
事実4: 仮にその根曲がり茸は把握し易くないとしたら「それはサプライであるし提案出来る」ということは間違っている
事実5: なにがしかのものが歌い出す一方でそれが考え難くないとしたら提案出来る
事実6: もしも「あるものは海外子会社だし加えてそれは提案出来る」ということは誤っていればそれはぷりぷりしない
事実7: もし仮にあの補体蛋白質はサプライであるということはないとすると「それは海外子会社であるし提案出来る」ということは成り立たない
事実8: その塩抜きが海外子会社であるとするとその根曲がり茸は考え難くない
事実9: その根曲がり茸は考え難い
事実10: もしなにがしかの物が歌い出さないしそれが考え難くないとすると提案出来る
事実11: その塩抜きは歌い出すがしかし考え難いということはないとすれば提案出来る
事実12: その塩抜きは歌い出さない
事実13: 仮に「その塩抜きは同時代史でない一方で把握し易い」ということは偽だとすればその根曲がり茸は把握し易くない
事実14: 仮にその塩抜きが提案出来るならあの補体蛋白質はぷりぷりする
事実15: 「なにがしかの物はサプライで提案出来る」ということは偽であるとしたら「海外子会社だということはない」ということは正しい

仮説: あの補体蛋白質はぷりぷりしない
1. 事実3と事実1から、推論1: "その塩抜きは歌い出さなくてまたそれは考え難くない"が導かれる
2. 事実10から、推論2: "もし仮にその塩抜きは歌い出さないし考え難くないとするとそれは提案出来る"が導かれる
3. 推論1と推論2から、推論3: "その塩抜きは提案出来る"が導かれる
4. 推論3と事実14から、仮説が否定される

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