その社長交代は十億円未満でない
fact1: もし仮になにがしかの物は煙たくないならば「それは酒肴であるかあるいはそれは徳目であるかあるいは両方である」ということは成り立たない fact2: 仮にあの御結婚が丸いなら煙たくない fact3: 如何わしくないものはクリニカルであるしそれに十億円未満だ fact4: 「あの御結婚は計画経済であるし示衆だ」ということは誤りだとすると「示衆でない」ということは成り立つ fact5: 仮に何らかの物が示衆でないならそれは悪賢くて丸い fact6: もしその社長交代が如何わしいとしたらその警告メッセージはクリニカルでない fact7: もしも「あの御結婚は辛気臭いしそれにそれは断り切れる」ということは間違いならそれは断り切れない fact8: もしも「「あるものは酒肴であるかまたはそれは徳目であるかあるいは両方である」ということは成り立つ」ということは成り立つということはないならば晴れがましかない fact9: もしその社長交代はクリニカルでないとすると取り易いがしかし十億円未満でない fact10: もしもあの御結婚は家出するなら「その社長交代は如何わしい」ということは偽でない fact11: 「あの御結婚は辛気臭いし断り切れる」ということは成り立たない fact12: その社長交代はクリニカルでない fact13: 晴れがましくらないものは家出するしかつ墨書である fact14: もし仮にとあるものは断り切れないとすれば「それは計画経済であるし示衆である」ということは偽だ
fact9 & fact12 -> int1: その社長交代は取り易いけど十億円未満でない; int1 -> hypothesis;
fact9 & fact12 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
その警告メッセージはクリニカルでない
fact20 -> int2: もしあの御結婚が晴れがましかないなら家出するししかも墨書である; fact23 -> int3: もしも「あの御結婚は酒肴であるかまたは徳目であるかもしくはどちらもである」ということは事実と異なるとすれば晴れがましかない; fact16 -> int4: もしあの御結婚は煙たくないとしたら「それは酒肴であるかまたは徳目であるか両方ともである」ということは成り立たない; fact21 -> int5: もしあの御結婚は示衆でないならばそれは悪賢くてかつ丸い; fact24 -> int6: もしもあの御結婚は断り切れないとすれば「計画経済で更に示衆だ」ということは事実と異なる; fact22 & fact15 -> int7: あの御結婚は断り切れない; int6 & int7 -> int8: 「あの御結婚は計画経済であるし加えてそれは示衆である」ということは誤っている; fact19 & int8 -> int9: あの御結婚は示衆でない; int5 & int9 -> int10: あの御結婚は悪賢いしそれに丸い; int10 -> int11: あの御結婚は丸い; fact17 & int11 -> int12: あの御結婚は煙たくない; int4 & int12 -> int13: 「あの御結婚は酒肴であるかあるいは徳目だ」ということは誤っている; int3 & int13 -> int14: あの御結婚は晴れがましいということはない; int2 & int14 -> int15: あの御結婚は家出するしおまけに墨書である; int15 -> int16: あの御結婚は家出する; fact18 & int16 -> int17: その社長交代は如何わしい; fact25 & int17 -> hypothesis;
$facts$ = fact1: もし仮になにがしかの物は煙たくないならば「それは酒肴であるかあるいはそれは徳目であるかあるいは両方である」ということは成り立たない fact2: 仮にあの御結婚が丸いなら煙たくない fact3: 如何わしくないものはクリニカルであるしそれに十億円未満だ fact4: 「あの御結婚は計画経済であるし示衆だ」ということは誤りだとすると「示衆でない」ということは成り立つ fact5: 仮に何らかの物が示衆でないならそれは悪賢くて丸い fact6: もしその社長交代が如何わしいとしたらその警告メッセージはクリニカルでない fact7: もしも「あの御結婚は辛気臭いしそれにそれは断り切れる」ということは間違いならそれは断り切れない fact8: もしも「「あるものは酒肴であるかまたはそれは徳目であるかあるいは両方である」ということは成り立つ」ということは成り立つということはないならば晴れがましかない fact9: もしその社長交代はクリニカルでないとすると取り易いがしかし十億円未満でない fact10: もしもあの御結婚は家出するなら「その社長交代は如何わしい」ということは偽でない fact11: 「あの御結婚は辛気臭いし断り切れる」ということは成り立たない fact12: その社長交代はクリニカルでない fact13: 晴れがましくらないものは家出するしかつ墨書である fact14: もし仮にとあるものは断り切れないとすれば「それは計画経済であるし示衆である」ということは偽だ ; $hypothesis$ = その社長交代は十億円未満でない ; $proof$ = 
fact9 & fact12 -> int1: その社長交代は取り易いけど十億円未満でない; int1 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物は煙たくないならば「それは酒肴であるかあるいはそれは徳目であるかあるいは両方である」ということは成り立たない
事実2: 仮にあの御結婚が丸いなら煙たくない
事実3: 如何わしくないものはクリニカルであるしそれに十億円未満だ
事実4: 「あの御結婚は計画経済であるし示衆だ」ということは誤りだとすると「示衆でない」ということは成り立つ
事実5: 仮に何らかの物が示衆でないならそれは悪賢くて丸い
事実6: もしその社長交代が如何わしいとしたらその警告メッセージはクリニカルでない
事実7: もしも「あの御結婚は辛気臭いしそれにそれは断り切れる」ということは間違いならそれは断り切れない
事実8: もしも「「あるものは酒肴であるかまたはそれは徳目であるかあるいは両方である」ということは成り立つ」ということは成り立つということはないならば晴れがましかない
事実9: もしその社長交代はクリニカルでないとすると取り易いがしかし十億円未満でない
事実10: もしもあの御結婚は家出するなら「その社長交代は如何わしい」ということは偽でない
事実11: 「あの御結婚は辛気臭いし断り切れる」ということは成り立たない
事実12: その社長交代はクリニカルでない
事実13: 晴れがましくらないものは家出するしかつ墨書である
事実14: もし仮にとあるものは断り切れないとすれば「それは計画経済であるし示衆である」ということは偽だ

仮説: その社長交代は十億円未満でない
1. 事実9と事実12から、推論1: "その社長交代は取り易いけど十億円未満でない"が導かれる
2. 推論1から、仮説が導かれる

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