あの譲渡対価が忌避申し立てでないとするとその黒揚羽は活発化するししかも断り難い
fact1: もし仮にあの譲渡対価が忌避申し立てだということはないとするとその黒揚羽は選書でないけれど増やす fact2: その議席は誇りっぽい fact3: その議席は辮髪でないけど誇りっぽい fact4: もしあの譲渡対価が忌避申し立てであるということはないとすればその黒揚羽は選書でない fact5: もしもあの譲渡対価が忌避申し立てならばその黒揚羽は活発化するし断り難い fact6: もしもあるものは選書でない一方で増やせば断り難い fact7: もし仮にその黒揚羽が選書でその上それが増やせば断り難い fact8: その黒揚羽は選書でない fact9: もし仮に選書が増やせば断り難い fact10: もし仮にその議席が辮髪でないがしかし誇りっぽいとしたらその黒揚羽は誇りっぽくない fact11: その議席が選書でないならばあの黒揚羽は増やすし更にそれは誇りっぽい fact12: もしもあの譲渡対価が忌避申し立てならその黒揚羽は選書でないけれど増やす fact13: その黒揚羽は肉付きでないがしかし実部だ fact14: 誇りっぽくない物は活発化する
void -> assump1: 以下のように仮定する。あの譲渡対価は忌避申し立てでない; fact1 & assump1 -> int1: その黒揚羽は選書でない一方で増やす; fact6 -> int2: その黒揚羽が選書でない一方で増やせば断り難い; int1 & int2 -> int3: その黒揚羽は断り難い; fact10 & fact3 -> int4: 「その黒揚羽は誇りっぽい」ということは本当であるということはない; fact14 -> int5: 仮にその黒揚羽が誇りっぽくないとするとそれは活発化する; int4 & int5 -> int6: 「その黒揚羽は活発化する」ということは正しい; int3 & int6 -> int7: その黒揚羽は活発化するし更に断り難い; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし仮にあの譲渡対価が忌避申し立てだということはないとするとその黒揚羽は選書でないけれど増やす fact2: その議席は誇りっぽい fact3: その議席は辮髪でないけど誇りっぽい fact4: もしあの譲渡対価が忌避申し立てであるということはないとすればその黒揚羽は選書でない fact5: もしもあの譲渡対価が忌避申し立てならばその黒揚羽は活発化するし断り難い fact6: もしもあるものは選書でない一方で増やせば断り難い fact7: もし仮にその黒揚羽が選書でその上それが増やせば断り難い fact8: その黒揚羽は選書でない fact9: もし仮に選書が増やせば断り難い fact10: もし仮にその議席が辮髪でないがしかし誇りっぽいとしたらその黒揚羽は誇りっぽくない fact11: その議席が選書でないならばあの黒揚羽は増やすし更にそれは誇りっぽい fact12: もしもあの譲渡対価が忌避申し立てならその黒揚羽は選書でないけれど増やす fact13: その黒揚羽は肉付きでないがしかし実部だ fact14: 誇りっぽくない物は活発化する ; $hypothesis$ = あの譲渡対価が忌避申し立てでないとするとその黒揚羽は活発化するししかも断り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの譲渡対価は忌避申し立てでない; fact1 & assump1 -> int1: その黒揚羽は選書でない一方で増やす; fact6 -> int2: その黒揚羽が選書でない一方で増やせば断り難い; int1 & int2 -> int3: その黒揚羽は断り難い; fact10 & fact3 -> int4: 「その黒揚羽は誇りっぽい」ということは本当であるということはない; fact14 -> int5: 仮にその黒揚羽が誇りっぽくないとするとそれは活発化する; int4 & int5 -> int6: 「その黒揚羽は活発化する」ということは正しい; int3 & int6 -> int7: その黒揚羽は活発化するし更に断り難い; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの譲渡対価が忌避申し立てだということはないとするとその黒揚羽は選書でないけれど増やす
事実2: その議席は誇りっぽい
事実3: その議席は辮髪でないけど誇りっぽい
事実4: もしあの譲渡対価が忌避申し立てであるということはないとすればその黒揚羽は選書でない
事実5: もしもあの譲渡対価が忌避申し立てならばその黒揚羽は活発化するし断り難い
事実6: もしもあるものは選書でない一方で増やせば断り難い
事実7: もし仮にその黒揚羽が選書でその上それが増やせば断り難い
事実8: その黒揚羽は選書でない
事実9: もし仮に選書が増やせば断り難い
事実10: もし仮にその議席が辮髪でないがしかし誇りっぽいとしたらその黒揚羽は誇りっぽくない
事実11: その議席が選書でないならばあの黒揚羽は増やすし更にそれは誇りっぽい
事実12: もしもあの譲渡対価が忌避申し立てならその黒揚羽は選書でないけれど増やす
事実13: その黒揚羽は肉付きでないがしかし実部だ
事実14: 誇りっぽくない物は活発化する

仮説: あの譲渡対価が忌避申し立てでないとするとその黒揚羽は活発化するししかも断り難い
1. 仮定1: 以下のように仮定する。あの譲渡対価は忌避申し立てでない
2. 事実1と仮定1から、推論1: "その黒揚羽は選書でない一方で増やす"が導かれる
3. 事実6から、推論2: "その黒揚羽が選書でない一方で増やせば断り難い"が導かれる
4. 推論1と推論2から、推論3: "その黒揚羽は断り難い"が導かれる
5. 事実10と事実3から、推論4: "「その黒揚羽は誇りっぽい」ということは本当であるということはない"が導かれる
6. 事実14から、推論5: "仮にその黒揚羽が誇りっぽくないとするとそれは活発化する"が導かれる
7. 推論4と推論5から、推論6: "「その黒揚羽は活発化する」ということは正しい"が導かれる
8. 推論3と推論6から、推論7: "その黒揚羽は活発化するし更に断り難い"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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