「「進学出来なくてかつ倹しい」ということは間違っている」ものはある
fact1: もしあの記者席が戦慄するならこの欧米系は利用し難くないし五パーセント前後でない fact2: 「あの帰化植物はセイディ・ディーンでないけど甚だしい」ということは事実と異なる fact3: もしもあの記者席は輝かしいなら「あの帰化植物は進学出来るということはないけれど倹しい」ということは事実であるということはない fact4: あの帰化植物は桟敷である fact5: もしもあの帰化植物が遠しとすればそれは擁立でない fact6: もしあの記者席は輝かしいならば「あの帰化植物は進学出来るしかつ倹しい」ということは成り立つということはない fact7: あるものは進学出来ないけれど倹しい fact8: もしあの帰化植物は擁立であるということはないとすれば「戦慄しないし加えて返りらしくない」ということは嘘である fact9: 仮に「あの記者席は倹しい」ということは正しいなら「あの帰化植物は進学出来ないがしかし輝かしい」ということは成り立たない fact10: 利用し難いということはない物は外化するしおまけに輝かしい fact11: あの記者席は輝かしい fact12: 仮にあの帰化植物は輝かしいなら「あの記者席は進学出来ないがしかし倹しい」ということは事実と異なる fact13: 「あの帰化植物は進学出来るしさらにそれは倹しい」ということは誤りだ fact14: 「「進学出来るしまた倹しい」ということは誤っている」ものはある fact15: もしもあの記者席は倹しいとしたら「あの帰化植物は輝かしくないがしかし進学出来る」ということは確かでない fact16: もしなにがしかの物は音色であるとするとそれは遠し fact17: もし仮に「「戦慄しなくて返りらしくない」ということは成り立たない」ものがあるとするとあの記者席は戦慄する fact18: あの記者席は倹しい fact19: 「あの帰化植物は倹しいということはないけれど輝かしい」ということは成り立つということはない fact20: 仮に「あるものはセイディ・ディーンでないけどそれは甚だしい」ということは成り立たないならそれは音色である
fact3 & fact11 -> int1: 「あの帰化植物は進学出来ないけれどそれは倹しい」ということは成り立たない; int1 -> hypothesis;
fact3 & fact11 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
この欧米系は外化する
fact24 -> int2: もし仮にこの欧米系が利用し難くないなら外化するしそれは輝かしい; fact28 -> int3: 仮にあの帰化植物が音色ならば遠し; fact22 -> int4: 「もしも「あの帰化植物はセイディ・ディーンでないけどそれは甚だしい」ということは成り立たないならばあの帰化植物は音色だ」ということは誤っていない; int4 & fact21 -> int5: あの帰化植物は音色だ; int3 & int5 -> int6: あの帰化植物は遠し; fact23 & int6 -> int7: あの帰化植物は擁立であるということはない; fact26 & int7 -> int8: 「あの帰化植物は戦慄しないしおまけにそれは返りらしくない」ということは成り立たない; int8 -> int9: 「「戦慄しないし返りらしくない」ということは成り立たない」ものはある; int9 & fact27 -> int10: あの記者席は戦慄する; fact25 & int10 -> int11: この欧米系は利用し難くないし五パーセント前後でない; int11 -> int12: この欧米系は利用し難くない; int2 & int12 -> int13: この欧米系は外化するし加えて輝かしい; int13 -> hypothesis;
$facts$ = fact1: もしあの記者席が戦慄するならこの欧米系は利用し難くないし五パーセント前後でない fact2: 「あの帰化植物はセイディ・ディーンでないけど甚だしい」ということは事実と異なる fact3: もしもあの記者席は輝かしいなら「あの帰化植物は進学出来るということはないけれど倹しい」ということは事実であるということはない fact4: あの帰化植物は桟敷である fact5: もしもあの帰化植物が遠しとすればそれは擁立でない fact6: もしあの記者席は輝かしいならば「あの帰化植物は進学出来るしかつ倹しい」ということは成り立つということはない fact7: あるものは進学出来ないけれど倹しい fact8: もしあの帰化植物は擁立であるということはないとすれば「戦慄しないし加えて返りらしくない」ということは嘘である fact9: 仮に「あの記者席は倹しい」ということは正しいなら「あの帰化植物は進学出来ないがしかし輝かしい」ということは成り立たない fact10: 利用し難いということはない物は外化するしおまけに輝かしい fact11: あの記者席は輝かしい fact12: 仮にあの帰化植物は輝かしいなら「あの記者席は進学出来ないがしかし倹しい」ということは事実と異なる fact13: 「あの帰化植物は進学出来るしさらにそれは倹しい」ということは誤りだ fact14: 「「進学出来るしまた倹しい」ということは誤っている」ものはある fact15: もしもあの記者席は倹しいとしたら「あの帰化植物は輝かしくないがしかし進学出来る」ということは確かでない fact16: もしなにがしかの物は音色であるとするとそれは遠し fact17: もし仮に「「戦慄しなくて返りらしくない」ということは成り立たない」ものがあるとするとあの記者席は戦慄する fact18: あの記者席は倹しい fact19: 「あの帰化植物は倹しいということはないけれど輝かしい」ということは成り立つということはない fact20: 仮に「あるものはセイディ・ディーンでないけどそれは甚だしい」ということは成り立たないならそれは音色である ; $hypothesis$ = 「「進学出来なくてかつ倹しい」ということは間違っている」ものはある ; $proof$ = 
fact3 & fact11 -> int1: 「あの帰化植物は進学出来ないけれどそれは倹しい」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もしあの記者席が戦慄するならこの欧米系は利用し難くないし五パーセント前後でない
事実2: 「あの帰化植物はセイディ・ディーンでないけど甚だしい」ということは事実と異なる
事実3: もしもあの記者席は輝かしいなら「あの帰化植物は進学出来るということはないけれど倹しい」ということは事実であるということはない
事実4: あの帰化植物は桟敷である
事実5: もしもあの帰化植物が遠しとすればそれは擁立でない
事実6: もしあの記者席は輝かしいならば「あの帰化植物は進学出来るしかつ倹しい」ということは成り立つということはない
事実7: あるものは進学出来ないけれど倹しい
事実8: もしあの帰化植物は擁立であるということはないとすれば「戦慄しないし加えて返りらしくない」ということは嘘である
事実9: 仮に「あの記者席は倹しい」ということは正しいなら「あの帰化植物は進学出来ないがしかし輝かしい」ということは成り立たない
事実10: 利用し難いということはない物は外化するしおまけに輝かしい
事実11: あの記者席は輝かしい
事実12: 仮にあの帰化植物は輝かしいなら「あの記者席は進学出来ないがしかし倹しい」ということは事実と異なる
事実13: 「あの帰化植物は進学出来るしさらにそれは倹しい」ということは誤りだ
事実14: 「「進学出来るしまた倹しい」ということは誤っている」ものはある
事実15: もしもあの記者席は倹しいとしたら「あの帰化植物は輝かしくないがしかし進学出来る」ということは確かでない
事実16: もしなにがしかの物は音色であるとするとそれは遠し
事実17: もし仮に「「戦慄しなくて返りらしくない」ということは成り立たない」ものがあるとするとあの記者席は戦慄する
事実18: あの記者席は倹しい
事実19: 「あの帰化植物は倹しいということはないけれど輝かしい」ということは成り立つということはない
事実20: 仮に「あるものはセイディ・ディーンでないけどそれは甚だしい」ということは成り立たないならそれは音色である

仮説: 「「進学出来なくてかつ倹しい」ということは間違っている」ものはある
1. 事実3と事実11から、推論1: "「あの帰化植物は進学出来ないけれどそれは倹しい」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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