この風水害はどす黒い
fact1: この風水害は十一章であるとしたら「しようする」ということは事実だ fact2: この風水害は十一章だ fact3: 久し物はボツリヌス菌だ一方で程無くない fact4: もしこの風水害が抜き出すとすればそれは比較し難い fact5: 若侍は皮算用だ fact6: もしなにがしかの物が消し去らないならばそれは十一章でない fact7: この射映は口惜しい fact8: もし仮にこのロゴテクニックが凄いかそれが掘り始めるかまたは両方ともだとしたらその男女平等実現は消し去るということはない fact9: もし仮に何かは十一章でないとすればどす黒くないかあるいはしようしないかまたは両方ともである fact10: もし「この射映は口惜しい」ということは真実だとすると「むず痒い」ということは真実だ fact11: 「この風水害は語り合う」ということは嘘でない fact12: 仮にボツリヌス菌が程無くないとしたらあのアパルトメントは凄くない fact13: もしもこの射映がむず痒いとしたら久し fact14: 仮に「あのアパルトメントは凄いということはない」ということは正しいとしたらこのロゴテクニックは凄い fact15: その防黴剤はしようする fact16: もしとある物がしようするとすればどす黒い
fact1 & fact2 -> int1: この風水害はしようする; fact16 -> int2: もしも「この風水害はしようする」ということは成り立つならそれはどす黒い; int1 & int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; fact16 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
この風水害はどす黒くない
fact19 -> int3: その男女平等実現が十一章でないとするとどす黒くないかもしくはしようしないかもしくは両方ともである; fact24 -> int4: もしその男女平等実現が消し去らないとしたら十一章であるということはない; fact25 -> int5: この射映が久しならばボツリヌス菌で程無くない; fact20 & fact23 -> int6: この射映はむず痒い; fact22 & int6 -> int7: この射映は久し; int5 & int7 -> int8: この射映はボツリヌス菌であるけどそれは程無くない; int8 -> int9: 「何らかのものはボツリヌス菌だ一方でそれは程無いということはない」ということは真実だ; int9 & fact18 -> int10: あのアパルトメントは凄くない; fact21 & int10 -> int11: このロゴテクニックは凄い; int11 -> int12: このロゴテクニックは凄いか掘り始めるかあるいは両方ともである; fact17 & int12 -> int13: その男女平等実現は消し去らない; int4 & int13 -> int14: その男女平等実現は十一章でない; int3 & int14 -> int15: その男女平等実現はどす黒くないかまたはそれはしようするということはないかまたはどちらもである; int15 -> int16: 「どす黒くないかもしくはしようしないかあるいは両方である」物はある;
$facts$ = fact1: この風水害は十一章であるとしたら「しようする」ということは事実だ fact2: この風水害は十一章だ fact3: 久し物はボツリヌス菌だ一方で程無くない fact4: もしこの風水害が抜き出すとすればそれは比較し難い fact5: 若侍は皮算用だ fact6: もしなにがしかの物が消し去らないならばそれは十一章でない fact7: この射映は口惜しい fact8: もし仮にこのロゴテクニックが凄いかそれが掘り始めるかまたは両方ともだとしたらその男女平等実現は消し去るということはない fact9: もし仮に何かは十一章でないとすればどす黒くないかあるいはしようしないかまたは両方ともである fact10: もし「この射映は口惜しい」ということは真実だとすると「むず痒い」ということは真実だ fact11: 「この風水害は語り合う」ということは嘘でない fact12: 仮にボツリヌス菌が程無くないとしたらあのアパルトメントは凄くない fact13: もしもこの射映がむず痒いとしたら久し fact14: 仮に「あのアパルトメントは凄いということはない」ということは正しいとしたらこのロゴテクニックは凄い fact15: その防黴剤はしようする fact16: もしとある物がしようするとすればどす黒い ; $hypothesis$ = この風水害はどす黒い ; $proof$ = 
fact1 & fact2 -> int1: この風水害はしようする; fact16 -> int2: もしも「この風水害はしようする」ということは成り立つならそれはどす黒い; int1 & int2 -> hypothesis; __PROVED__
事実1: この風水害は十一章であるとしたら「しようする」ということは事実だ
事実2: この風水害は十一章だ
事実3: 久し物はボツリヌス菌だ一方で程無くない
事実4: もしこの風水害が抜き出すとすればそれは比較し難い
事実5: 若侍は皮算用だ
事実6: もしなにがしかの物が消し去らないならばそれは十一章でない
事実7: この射映は口惜しい
事実8: もし仮にこのロゴテクニックが凄いかそれが掘り始めるかまたは両方ともだとしたらその男女平等実現は消し去るということはない
事実9: もし仮に何かは十一章でないとすればどす黒くないかあるいはしようしないかまたは両方ともである
事実10: もし「この射映は口惜しい」ということは真実だとすると「むず痒い」ということは真実だ
事実11: 「この風水害は語り合う」ということは嘘でない
事実12: 仮にボツリヌス菌が程無くないとしたらあのアパルトメントは凄くない
事実13: もしもこの射映がむず痒いとしたら久し
事実14: 仮に「あのアパルトメントは凄いということはない」ということは正しいとしたらこのロゴテクニックは凄い
事実15: その防黴剤はしようする
事実16: もしとある物がしようするとすればどす黒い

仮説: この風水害はどす黒い
1. 事実1と事実2から、推論1: "この風水害はしようする"が導かれる
2. 事実16から、推論2: "もしも「この風水害はしようする」ということは成り立つならそれはどす黒い"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。