この生産集中はしぶく
fact1: もし仮にその気高さが分かり合うならこの生産集中はステイ先である fact2: もしもなんらかの物が黙するということはないなら分かり合わない fact3: 「そのシャボン玉はドーラン巡査でなくてステイ先でない」ということは偽であるとすればあの気高さは分かり合う fact4: もし仮に「この生産集中はしぶかないし分かり合わない」ということは嘘だとすればその気高さはドーラン巡査だ fact5: 「「この日和見主義者は御高いしそれは表示し切れる」ということは事実である」ということは偽だ fact6: もし仮にこの生産集中が分かり合うとするとその気高さはしぶく fact7: 「忙しいということはない」ものはあれば「そのシャボン玉は御高くない一方でそれは黙する」ということは事実と異なる fact8: この生産集中がステイ先ならそのシャボン玉はしぶく fact9: その気高さは忙しくない fact10: ある物が分かり合うということはないとしたらしぶくしそれにドーラン巡査である fact11: 仮に「この生産集中はしぶくということはなくてしかもドーラン巡査でない」ということは間違っていればそのシャボン玉はステイ先だ fact12: そのシャボン玉がしぶくとしたらこの生産集中はステイ先だ fact13: 「あの練習中は挫けない」ということは成り立つならそのシャボン玉は黙するしまた考え出す fact14: そのシャボン玉が分かり合うとすればその気高さはステイ先である fact15: 仮にその気高さが御高くないとすればそのシャボン玉は分かり合う一方で忙しくない fact16: もし仮にそのシャボン玉がしぶかない一方で黙するとすると「この生産集中はしぶくということはない」ということは本当である fact17: もしも「「御高くておまけに表示し切れる」ということは偽な」ものがあるとすればその気高さは御高いということはない fact18: もしもその気高さは分かり合えば「この生産集中はしぶく」ということは正しい fact19: もしもそのシャボン玉はドーラン巡査なら「その気高さは分かり合う」ということは真実である fact20: 「「そのシャボン玉はドーラン巡査でなくてかつそれはステイ先でない」ということは事実である」ということは偽だ
fact3 & fact20 -> int1: その気高さは分かり合う; int1 & fact18 -> hypothesis;
fact3 & fact20 -> int1: {B}{b}; int1 & fact18 -> hypothesis;
この生産集中はしぶくということはない
fact21 -> int2: 「「御高いししかも表示し切れる」ということは間違いな」物はある; int2 & fact25 -> int3: 「その気高さは御高くない」ということは正しい; fact23 & int3 -> int4: 「そのシャボン玉は分かり合う一方で忙しくない」ということは成り立つ;
$facts$ = fact1: もし仮にその気高さが分かり合うならこの生産集中はステイ先である fact2: もしもなんらかの物が黙するということはないなら分かり合わない fact3: 「そのシャボン玉はドーラン巡査でなくてステイ先でない」ということは偽であるとすればあの気高さは分かり合う fact4: もし仮に「この生産集中はしぶかないし分かり合わない」ということは嘘だとすればその気高さはドーラン巡査だ fact5: 「「この日和見主義者は御高いしそれは表示し切れる」ということは事実である」ということは偽だ fact6: もし仮にこの生産集中が分かり合うとするとその気高さはしぶく fact7: 「忙しいということはない」ものはあれば「そのシャボン玉は御高くない一方でそれは黙する」ということは事実と異なる fact8: この生産集中がステイ先ならそのシャボン玉はしぶく fact9: その気高さは忙しくない fact10: ある物が分かり合うということはないとしたらしぶくしそれにドーラン巡査である fact11: 仮に「この生産集中はしぶくということはなくてしかもドーラン巡査でない」ということは間違っていればそのシャボン玉はステイ先だ fact12: そのシャボン玉がしぶくとしたらこの生産集中はステイ先だ fact13: 「あの練習中は挫けない」ということは成り立つならそのシャボン玉は黙するしまた考え出す fact14: そのシャボン玉が分かり合うとすればその気高さはステイ先である fact15: 仮にその気高さが御高くないとすればそのシャボン玉は分かり合う一方で忙しくない fact16: もし仮にそのシャボン玉がしぶかない一方で黙するとすると「この生産集中はしぶくということはない」ということは本当である fact17: もしも「「御高くておまけに表示し切れる」ということは偽な」ものがあるとすればその気高さは御高いということはない fact18: もしもその気高さは分かり合えば「この生産集中はしぶく」ということは正しい fact19: もしもそのシャボン玉はドーラン巡査なら「その気高さは分かり合う」ということは真実である fact20: 「「そのシャボン玉はドーラン巡査でなくてかつそれはステイ先でない」ということは事実である」ということは偽だ ; $hypothesis$ = この生産集中はしぶく ; $proof$ = 
fact3 & fact20 -> int1: その気高さは分かり合う; int1 & fact18 -> hypothesis; __PROVED__
事実1: もし仮にその気高さが分かり合うならこの生産集中はステイ先である
事実2: もしもなんらかの物が黙するということはないなら分かり合わない
事実3: 「そのシャボン玉はドーラン巡査でなくてステイ先でない」ということは偽であるとすればあの気高さは分かり合う
事実4: もし仮に「この生産集中はしぶかないし分かり合わない」ということは嘘だとすればその気高さはドーラン巡査だ
事実5: 「「この日和見主義者は御高いしそれは表示し切れる」ということは事実である」ということは偽だ
事実6: もし仮にこの生産集中が分かり合うとするとその気高さはしぶく
事実7: 「忙しいということはない」ものはあれば「そのシャボン玉は御高くない一方でそれは黙する」ということは事実と異なる
事実8: この生産集中がステイ先ならそのシャボン玉はしぶく
事実9: その気高さは忙しくない
事実10: ある物が分かり合うということはないとしたらしぶくしそれにドーラン巡査である
事実11: 仮に「この生産集中はしぶくということはなくてしかもドーラン巡査でない」ということは間違っていればそのシャボン玉はステイ先だ
事実12: そのシャボン玉がしぶくとしたらこの生産集中はステイ先だ
事実13: 「あの練習中は挫けない」ということは成り立つならそのシャボン玉は黙するしまた考え出す
事実14: そのシャボン玉が分かり合うとすればその気高さはステイ先である
事実15: 仮にその気高さが御高くないとすればそのシャボン玉は分かり合う一方で忙しくない
事実16: もし仮にそのシャボン玉がしぶかない一方で黙するとすると「この生産集中はしぶくということはない」ということは本当である
事実17: もしも「「御高くておまけに表示し切れる」ということは偽な」ものがあるとすればその気高さは御高いということはない
事実18: もしもその気高さは分かり合えば「この生産集中はしぶく」ということは正しい
事実19: もしもそのシャボン玉はドーラン巡査なら「その気高さは分かり合う」ということは真実である
事実20: 「「そのシャボン玉はドーラン巡査でなくてかつそれはステイ先でない」ということは事実である」ということは偽だ

仮説: この生産集中はしぶく
1. 事実3と事実20から、推論1: "その気高さは分かり合う"が導かれる
2. 推論1と事実18から、仮説が導かれる

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