この文化地区は改姓するということはない
fact1: なにがしかのものは当該新設である fact2: この所有株式はとろりとしない fact3: 「そのイエ制度は余罪捜査だしそれに爆散する」ということは成り立つということはない fact4: 仮に「取れ易くない」ものはあれば「そのイエ制度は蒼む」ということは正しい fact5: 何らかのものは蒼む fact6: もしそのイエ制度が蒼むないならこの文化地区は改姓しない fact7: もしこのスイングトレーダーは取れ易くないなら「あの矮化向日葵は当該新設であるかあるいは蒼むかもしくは両方だ」ということは誤っている fact8: もし仮に「あの矮化向日葵は合わせ辛くなくて見え易くない」ということは偽ならこの任意団体は取れ易くない fact9: 仮に「改姓する」ものはあるなら「この文化地区は蒼むしとろりとする」ということは偽だ fact10: もし仮に「この文化地区は蒼むし改姓する」ということは嘘だとするとそのイエ制度はとろりとしない fact11: 仮に「このスイングトレーダーは取れ易いしそれは見え易い」ということは成り立たないならそれは取れ易くない fact12: 「あの矮化向日葵は当該新設であるかまたは蒼むかまたは両方である」ということは誤りであるとすればこの任意団体は当該新設でない fact13: そのイエ制度は当該新設でない fact14: 仮に「そのイエ制度はとろりとするしおまけに蒼む」ということは成り立たないならばあの文化地区は改姓しない fact15: 当該新設はあるとすると「そのイエ制度はとろりとするしそれに蒼む」ということは誤りである fact16: 仮にこの文化地区が改姓しないししかもとろりとするということはないとすればあのイエ制度は改姓しない fact17: 「そのイエ制度は改姓するしまたとろりとする」ということは間違っている fact18: この文化地区は当該新設でない fact19: 「あの矮化向日葵は合わせ辛くないし見え易くない」ということは誤りだ fact20: 「この文化地区は改姓するしさらにそれはとろりとする」ということは誤っている
fact1 & fact15 -> int1: 「そのイエ制度はとろりとするしかつ蒼む」ということは事実と異なる; int1 & fact14 -> hypothesis;
fact1 & fact15 -> int1: ¬({B}{a} & {C}{a}); int1 & fact14 -> hypothesis;
そのイエ制度は改姓するということはない
$facts$ = fact1: なにがしかのものは当該新設である fact2: この所有株式はとろりとしない fact3: 「そのイエ制度は余罪捜査だしそれに爆散する」ということは成り立つということはない fact4: 仮に「取れ易くない」ものはあれば「そのイエ制度は蒼む」ということは正しい fact5: 何らかのものは蒼む fact6: もしそのイエ制度が蒼むないならこの文化地区は改姓しない fact7: もしこのスイングトレーダーは取れ易くないなら「あの矮化向日葵は当該新設であるかあるいは蒼むかもしくは両方だ」ということは誤っている fact8: もし仮に「あの矮化向日葵は合わせ辛くなくて見え易くない」ということは偽ならこの任意団体は取れ易くない fact9: 仮に「改姓する」ものはあるなら「この文化地区は蒼むしとろりとする」ということは偽だ fact10: もし仮に「この文化地区は蒼むし改姓する」ということは嘘だとするとそのイエ制度はとろりとしない fact11: 仮に「このスイングトレーダーは取れ易いしそれは見え易い」ということは成り立たないならそれは取れ易くない fact12: 「あの矮化向日葵は当該新設であるかまたは蒼むかまたは両方である」ということは誤りであるとすればこの任意団体は当該新設でない fact13: そのイエ制度は当該新設でない fact14: 仮に「そのイエ制度はとろりとするしおまけに蒼む」ということは成り立たないならばあの文化地区は改姓しない fact15: 当該新設はあるとすると「そのイエ制度はとろりとするしそれに蒼む」ということは誤りである fact16: 仮にこの文化地区が改姓しないししかもとろりとするということはないとすればあのイエ制度は改姓しない fact17: 「そのイエ制度は改姓するしまたとろりとする」ということは間違っている fact18: この文化地区は当該新設でない fact19: 「あの矮化向日葵は合わせ辛くないし見え易くない」ということは誤りだ fact20: 「この文化地区は改姓するしさらにそれはとろりとする」ということは誤っている ; $hypothesis$ = この文化地区は改姓するということはない ; $proof$ = 
fact1 & fact15 -> int1: 「そのイエ制度はとろりとするしかつ蒼む」ということは事実と異なる; int1 & fact14 -> hypothesis; __PROVED__
事実1: なにがしかのものは当該新設である
事実2: この所有株式はとろりとしない
事実3: 「そのイエ制度は余罪捜査だしそれに爆散する」ということは成り立つということはない
事実4: 仮に「取れ易くない」ものはあれば「そのイエ制度は蒼む」ということは正しい
事実5: 何らかのものは蒼む
事実6: もしそのイエ制度が蒼むないならこの文化地区は改姓しない
事実7: もしこのスイングトレーダーは取れ易くないなら「あの矮化向日葵は当該新設であるかあるいは蒼むかもしくは両方だ」ということは誤っている
事実8: もし仮に「あの矮化向日葵は合わせ辛くなくて見え易くない」ということは偽ならこの任意団体は取れ易くない
事実9: 仮に「改姓する」ものはあるなら「この文化地区は蒼むしとろりとする」ということは偽だ
事実10: もし仮に「この文化地区は蒼むし改姓する」ということは嘘だとするとそのイエ制度はとろりとしない
事実11: 仮に「このスイングトレーダーは取れ易いしそれは見え易い」ということは成り立たないならそれは取れ易くない
事実12: 「あの矮化向日葵は当該新設であるかまたは蒼むかまたは両方である」ということは誤りであるとすればこの任意団体は当該新設でない
事実13: そのイエ制度は当該新設でない
事実14: 仮に「そのイエ制度はとろりとするしおまけに蒼む」ということは成り立たないならばあの文化地区は改姓しない
事実15: 当該新設はあるとすると「そのイエ制度はとろりとするしそれに蒼む」ということは誤りである
事実16: 仮にこの文化地区が改姓しないししかもとろりとするということはないとすればあのイエ制度は改姓しない
事実17: 「そのイエ制度は改姓するしまたとろりとする」ということは間違っている
事実18: この文化地区は当該新設でない
事実19: 「あの矮化向日葵は合わせ辛くないし見え易くない」ということは誤りだ
事実20: 「この文化地区は改姓するしさらにそれはとろりとする」ということは誤っている

仮説: この文化地区は改姓するということはない
1. 事実1と事実15から、推論1: "「そのイエ制度はとろりとするしかつ蒼む」ということは事実と異なる"が導かれる
2. 推論1と事実14から、仮説が導かれる

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