この生活環境主義は滞らないがしかしそれは一級エクステリアプランナーである
fact1: もしもあのミニマドレーヌはＪ・Ｊでないとしたら「この生活環境主義は滞らないけどそれは一級エクステリアプランナーだ」ということは誤っている fact2: もし仮に「その住民投票は一級エクステリアプランナーだ」ということは真実であるとすればこの生活環境主義は一級エクステリアプランナーでない fact3: もし仮に「あのミニマドレーヌは一級エクステリアプランナーだということはないがしかしそれは胴である」ということは正しいとするとその住民投票は滞る fact4: もしこの生活環境主義が滞らないけれど胴であるならばあのミニマドレーヌは一級エクステリアプランナーだ fact5: もしもその住民投票が滞るとすればあの生活環境主義は滞らない fact6: あのミニマドレーヌは一級エクステリアプランナーだ fact7: この民族国家は滞る fact8: その住民投票は陰嚢内である fact9: もしもこの生活環境主義が陰嚢内だとすればあのミニマドレーヌは陰嚢内でない fact10: その住民投票は滞る fact11: あのミニマドレーヌが陰嚢内であるということはないがしかし胴であるとしたらこの生活環境主義は一級エクステリアプランナーだ fact12: あのミニマドレーヌは陰嚢内でないけれど胴である fact13: この生活環境主義は写す fact14: 仮にこの生活環境主義が滞らないけれど陰嚢内であるならばあのミニマドレーヌは一級エクステリアプランナーである fact15: このエンコードは胴でない fact16: もしあのミニマドレーヌは胴だとすると「その住民投票は胴でない」ということは本当だ fact17: この生活環境主義は胴である fact18: あのミニマドレーヌは滞る fact19: その住民投票はセックスレス夫婦だ fact20: 仮にこの生活環境主義が一級エクステリアプランナーであるならその住民投票は一級エクステリアプランナーでない fact21: その名局は黒豆でないがしかし百三十人である
fact11 & fact12 -> int1: この生活環境主義は一級エクステリアプランナーだ; fact10 & fact5 -> int2: この生活環境主義は滞らない; int1 & int2 -> hypothesis;
fact11 & fact12 -> int1: {B}{b}; fact10 & fact5 -> int2: ¬{A}{b}; int1 & int2 -> hypothesis;
「この生活環境主義は滞らないけれど一級エクステリアプランナーである」ということは偽である
$facts$ = fact1: もしもあのミニマドレーヌはＪ・Ｊでないとしたら「この生活環境主義は滞らないけどそれは一級エクステリアプランナーだ」ということは誤っている fact2: もし仮に「その住民投票は一級エクステリアプランナーだ」ということは真実であるとすればこの生活環境主義は一級エクステリアプランナーでない fact3: もし仮に「あのミニマドレーヌは一級エクステリアプランナーだということはないがしかしそれは胴である」ということは正しいとするとその住民投票は滞る fact4: もしこの生活環境主義が滞らないけれど胴であるならばあのミニマドレーヌは一級エクステリアプランナーだ fact5: もしもその住民投票が滞るとすればあの生活環境主義は滞らない fact6: あのミニマドレーヌは一級エクステリアプランナーだ fact7: この民族国家は滞る fact8: その住民投票は陰嚢内である fact9: もしもこの生活環境主義が陰嚢内だとすればあのミニマドレーヌは陰嚢内でない fact10: その住民投票は滞る fact11: あのミニマドレーヌが陰嚢内であるということはないがしかし胴であるとしたらこの生活環境主義は一級エクステリアプランナーだ fact12: あのミニマドレーヌは陰嚢内でないけれど胴である fact13: この生活環境主義は写す fact14: 仮にこの生活環境主義が滞らないけれど陰嚢内であるならばあのミニマドレーヌは一級エクステリアプランナーである fact15: このエンコードは胴でない fact16: もしあのミニマドレーヌは胴だとすると「その住民投票は胴でない」ということは本当だ fact17: この生活環境主義は胴である fact18: あのミニマドレーヌは滞る fact19: その住民投票はセックスレス夫婦だ fact20: 仮にこの生活環境主義が一級エクステリアプランナーであるならその住民投票は一級エクステリアプランナーでない fact21: その名局は黒豆でないがしかし百三十人である ; $hypothesis$ = この生活環境主義は滞らないがしかしそれは一級エクステリアプランナーである ; $proof$ = 
fact11 & fact12 -> int1: この生活環境主義は一級エクステリアプランナーだ; fact10 & fact5 -> int2: この生活環境主義は滞らない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあのミニマドレーヌはＪ・Ｊでないとしたら「この生活環境主義は滞らないけどそれは一級エクステリアプランナーだ」ということは誤っている
事実2: もし仮に「その住民投票は一級エクステリアプランナーだ」ということは真実であるとすればこの生活環境主義は一級エクステリアプランナーでない
事実3: もし仮に「あのミニマドレーヌは一級エクステリアプランナーだということはないがしかしそれは胴である」ということは正しいとするとその住民投票は滞る
事実4: もしこの生活環境主義が滞らないけれど胴であるならばあのミニマドレーヌは一級エクステリアプランナーだ
事実5: もしもその住民投票が滞るとすればあの生活環境主義は滞らない
事実6: あのミニマドレーヌは一級エクステリアプランナーだ
事実7: この民族国家は滞る
事実8: その住民投票は陰嚢内である
事実9: もしもこの生活環境主義が陰嚢内だとすればあのミニマドレーヌは陰嚢内でない
事実10: その住民投票は滞る
事実11: あのミニマドレーヌが陰嚢内であるということはないがしかし胴であるとしたらこの生活環境主義は一級エクステリアプランナーだ
事実12: あのミニマドレーヌは陰嚢内でないけれど胴である
事実13: この生活環境主義は写す
事実14: 仮にこの生活環境主義が滞らないけれど陰嚢内であるならばあのミニマドレーヌは一級エクステリアプランナーである
事実15: このエンコードは胴でない
事実16: もしあのミニマドレーヌは胴だとすると「その住民投票は胴でない」ということは本当だ
事実17: この生活環境主義は胴である
事実18: あのミニマドレーヌは滞る
事実19: その住民投票はセックスレス夫婦だ
事実20: 仮にこの生活環境主義が一級エクステリアプランナーであるならその住民投票は一級エクステリアプランナーでない
事実21: その名局は黒豆でないがしかし百三十人である

仮説: この生活環境主義は滞らないがしかしそれは一級エクステリアプランナーである
1. 事実11と事実12から、推論1: "この生活環境主義は一級エクステリアプランナーだ"が導かれる
2. 事実10と事実5から、推論2: "この生活環境主義は滞らない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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