「あの身支度はスカベンジャーであるしさらに宥める」ということは事実と異なる
fact1: あの身支度は上り易い fact2: 「もし「あの水浸しは空しかない」ということは確かであるとすれば「あの身支度がスカベンジャーだしそれは宥める」ということは成り立たない」ということは成り立つ fact3: あの水浸しはデビューする fact4: 「その二アール細胞は病菌でない」ということは本当だ fact5: 仮に「なにがしかの物は泥臭いがしかし錯綜するということはない」ということは間違いであるとすれば「泥臭くない」ということは事実である fact6: もし仮にあの水浸しがＣ攻撃でない一方でデビューするとしたらあの身支度はスカベンジャーだ fact7: あの身支度は宥めるし更に上り易い fact8: もしその襞々が空しかないし逃れ難くないならあの水浸しは空しかない fact9: 仮にあの水浸しが空しいならそれはＣ攻撃でないけどデビューする fact10: もしこの市街地再開発事業等が来辛くないとするとその博物誌は開発・販売するし公的需要だ fact11: もしもあの水浸しが空しいとするとデビューする fact12: そのシュミーズは刻印するということはないけどデビューする fact13: もし仮にその博物誌が開発・販売するならこのバルカン諸国は開発・販売する fact14: もしある物は泥臭くないなら「保ち易くないしそれは大喜びする」ということは正しくない fact15: あの水浸しは空しい fact16: その二アール細胞は伝え易い fact17: 仮に「あの我々全ては保ち易くない一方で大喜びする」ということは誤りであるならばあの外国馬は上り易くない fact18: もしも何かは伝え易い一方で病菌でないとしたらこの市街地再開発事業等は来辛くない fact19: もしもこのバルカン諸国は開発・販売するとすれば「あの我々全ては泥臭いがしかし錯綜しない」ということは成り立たない
fact9 & fact15 -> int1: あの水浸しはＣ攻撃でない一方でデビューする; int1 & fact6 -> int2: あの身支度はスカベンジャーだ; fact7 -> int3: 「あの身支度は宥める」ということは本当である; int2 & int3 -> hypothesis;
fact9 & fact15 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact6 -> int2: {B}{b}; fact7 -> int3: {C}{b}; int2 & int3 -> hypothesis;
「あの身支度はスカベンジャーでしかも宥める」ということは成り立たない
fact23 -> int4: 仮にあの我々全ては泥臭くないとしたら「保ち易いということはないけれど大喜びする」ということは成り立たない; fact26 -> int5: もし「あの我々全ては泥臭いけど錯綜しない」ということは成り立たないならば泥臭くない; fact27 & fact25 -> int6: 「その二アール細胞は伝え易いけれど病菌でない」ということは真実だ; int6 -> int7: なんらかの物は伝え易い一方で病菌でない; int7 & fact22 -> int8: この市街地再開発事業等は来辛くない; fact20 & int8 -> int9: その博物誌は開発・販売するし加えてそれは公的需要だ; int9 -> int10: その博物誌は開発・販売する; fact29 & int10 -> int11: 「このバルカン諸国は開発・販売する」ということは事実だ; fact24 & int11 -> int12: 「あの我々全ては泥臭いけどそれは錯綜しない」ということは間違っている; int5 & int12 -> int13: あの我々全ては泥臭くない; int4 & int13 -> int14: 「あの我々全ては保ち易いということはない一方で大喜びする」ということは間違いだ; fact21 & int14 -> int15: その外国馬は上り易くない; int15 -> int16: 何かは上り易くない;
$facts$ = fact1: あの身支度は上り易い fact2: 「もし「あの水浸しは空しかない」ということは確かであるとすれば「あの身支度がスカベンジャーだしそれは宥める」ということは成り立たない」ということは成り立つ fact3: あの水浸しはデビューする fact4: 「その二アール細胞は病菌でない」ということは本当だ fact5: 仮に「なにがしかの物は泥臭いがしかし錯綜するということはない」ということは間違いであるとすれば「泥臭くない」ということは事実である fact6: もし仮にあの水浸しがＣ攻撃でない一方でデビューするとしたらあの身支度はスカベンジャーだ fact7: あの身支度は宥めるし更に上り易い fact8: もしその襞々が空しかないし逃れ難くないならあの水浸しは空しかない fact9: 仮にあの水浸しが空しいならそれはＣ攻撃でないけどデビューする fact10: もしこの市街地再開発事業等が来辛くないとするとその博物誌は開発・販売するし公的需要だ fact11: もしもあの水浸しが空しいとするとデビューする fact12: そのシュミーズは刻印するということはないけどデビューする fact13: もし仮にその博物誌が開発・販売するならこのバルカン諸国は開発・販売する fact14: もしある物は泥臭くないなら「保ち易くないしそれは大喜びする」ということは正しくない fact15: あの水浸しは空しい fact16: その二アール細胞は伝え易い fact17: 仮に「あの我々全ては保ち易くない一方で大喜びする」ということは誤りであるならばあの外国馬は上り易くない fact18: もしも何かは伝え易い一方で病菌でないとしたらこの市街地再開発事業等は来辛くない fact19: もしもこのバルカン諸国は開発・販売するとすれば「あの我々全ては泥臭いがしかし錯綜しない」ということは成り立たない ; $hypothesis$ = 「あの身支度はスカベンジャーであるしさらに宥める」ということは事実と異なる ; $proof$ = 
fact9 & fact15 -> int1: あの水浸しはＣ攻撃でない一方でデビューする; int1 & fact6 -> int2: あの身支度はスカベンジャーだ; fact7 -> int3: 「あの身支度は宥める」ということは本当である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの身支度は上り易い
事実2: 「もし「あの水浸しは空しかない」ということは確かであるとすれば「あの身支度がスカベンジャーだしそれは宥める」ということは成り立たない」ということは成り立つ
事実3: あの水浸しはデビューする
事実4: 「その二アール細胞は病菌でない」ということは本当だ
事実5: 仮に「なにがしかの物は泥臭いがしかし錯綜するということはない」ということは間違いであるとすれば「泥臭くない」ということは事実である
事実6: もし仮にあの水浸しがＣ攻撃でない一方でデビューするとしたらあの身支度はスカベンジャーだ
事実7: あの身支度は宥めるし更に上り易い
事実8: もしその襞々が空しかないし逃れ難くないならあの水浸しは空しかない
事実9: 仮にあの水浸しが空しいならそれはＣ攻撃でないけどデビューする
事実10: もしこの市街地再開発事業等が来辛くないとするとその博物誌は開発・販売するし公的需要だ
事実11: もしもあの水浸しが空しいとするとデビューする
事実12: そのシュミーズは刻印するということはないけどデビューする
事実13: もし仮にその博物誌が開発・販売するならこのバルカン諸国は開発・販売する
事実14: もしある物は泥臭くないなら「保ち易くないしそれは大喜びする」ということは正しくない
事実15: あの水浸しは空しい
事実16: その二アール細胞は伝え易い
事実17: 仮に「あの我々全ては保ち易くない一方で大喜びする」ということは誤りであるならばあの外国馬は上り易くない
事実18: もしも何かは伝え易い一方で病菌でないとしたらこの市街地再開発事業等は来辛くない
事実19: もしもこのバルカン諸国は開発・販売するとすれば「あの我々全ては泥臭いがしかし錯綜しない」ということは成り立たない

仮説: 「あの身支度はスカベンジャーであるしさらに宥める」ということは事実と異なる
1. 事実9と事実15から、推論1: "あの水浸しはＣ攻撃でない一方でデビューする"が導かれる
2. 推論1と事実6から、推論2: "あの身支度はスカベンジャーだ"が導かれる
3. 事実7から、推論3: "「あの身支度は宥める」ということは本当である"が導かれる
4. 推論2と推論3から、仮説が否定される

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