このアイドルは叱責する
fact1: あの援助技術は使徒達である fact2: あの援助技術は観光目的である fact3: あの列島は見え辛い fact4: もし仮に「このシアーは持ち越す」ということは正しいとしたらあの援助技術はＶＯであるが調達システムでない fact5: もし「その最小は組み立て企業でない」ということは間違いでないなら使徒達だし十三号室だ fact6: もし仮にこのアイドルが見え辛いとすればあの援助技術は叱責する fact7: もし「なにかは徒らっぽいし飼養する」ということは間違っていれば飼養するということはない fact8: もしとあるものが飼養しないならばそれは持ち越す fact9: その最小が組み立て企業だということはないかあるいは吸収され難いかもしくは両方ともだとしたらそれは組み立て企業でない fact10: ＶＯが調達システムだということはないとすればそれはティエンリーでない fact11: 「あの援助技術は叱責する」ということは成り立つ fact12: あの援助技術は見え辛い fact13: その最小は組み立て企業でないかまたはそれは吸収され難い fact14: なんらかのものは還元ヘモグロビンでないとすれば「それは徒らっぽくてかつ飼養する」ということは確かでない fact15: この五年後は叱責する fact16: もしあの援助技術は見え辛いとすれば「このアイドルは叱責する」ということは誤りでない fact17: この一パーセント前後は見え辛い fact18: 仮になんらかの物はティエンリーでないなら「スパルタ滓であるしまたそれは見え辛いということはない」ということは誤りである
fact16 & fact12 -> hypothesis;
このアイドルは叱責するということはない
fact23 -> int1: もしあの援助技術はティエンリーでないなら「「スパルタ滓だがしかし見え辛くない」ということは事実だ」ということは間違っている; fact24 -> int2: もし仮にあの援助技術はＶＯだけれど調達システムでないとすればそれはティエンリーであるということはない; fact20 -> int3: もしこのシアーが飼養するということはないとしたら持ち越す; fact21 -> int4: 仮に「このシアーが徒らっぽいしその上それは飼養する」ということは間違いであるとすればそれは飼養しない; fact27 -> int5: 仮にこのシアーは還元ヘモグロビンでないとしたら「徒らっぽいし飼養する」ということは成り立つということはない; fact26 & fact25 -> int6: その最小は組み立て企業でない; fact22 & int6 -> int7: その最小は使徒達であるしさらに十三号室だ; int7 -> int8: その最小は使徒達である; int8 -> int9: あるものは使徒達である;
$facts$ = fact1: あの援助技術は使徒達である fact2: あの援助技術は観光目的である fact3: あの列島は見え辛い fact4: もし仮に「このシアーは持ち越す」ということは正しいとしたらあの援助技術はＶＯであるが調達システムでない fact5: もし「その最小は組み立て企業でない」ということは間違いでないなら使徒達だし十三号室だ fact6: もし仮にこのアイドルが見え辛いとすればあの援助技術は叱責する fact7: もし「なにかは徒らっぽいし飼養する」ということは間違っていれば飼養するということはない fact8: もしとあるものが飼養しないならばそれは持ち越す fact9: その最小が組み立て企業だということはないかあるいは吸収され難いかもしくは両方ともだとしたらそれは組み立て企業でない fact10: ＶＯが調達システムだということはないとすればそれはティエンリーでない fact11: 「あの援助技術は叱責する」ということは成り立つ fact12: あの援助技術は見え辛い fact13: その最小は組み立て企業でないかまたはそれは吸収され難い fact14: なんらかのものは還元ヘモグロビンでないとすれば「それは徒らっぽくてかつ飼養する」ということは確かでない fact15: この五年後は叱責する fact16: もしあの援助技術は見え辛いとすれば「このアイドルは叱責する」ということは誤りでない fact17: この一パーセント前後は見え辛い fact18: 仮になんらかの物はティエンリーでないなら「スパルタ滓であるしまたそれは見え辛いということはない」ということは誤りである ; $hypothesis$ = このアイドルは叱責する ; $proof$ = 
fact16 & fact12 -> hypothesis; __PROVED__
事実1: あの援助技術は使徒達である
事実2: あの援助技術は観光目的である
事実3: あの列島は見え辛い
事実4: もし仮に「このシアーは持ち越す」ということは正しいとしたらあの援助技術はＶＯであるが調達システムでない
事実5: もし「その最小は組み立て企業でない」ということは間違いでないなら使徒達だし十三号室だ
事実6: もし仮にこのアイドルが見え辛いとすればあの援助技術は叱責する
事実7: もし「なにかは徒らっぽいし飼養する」ということは間違っていれば飼養するということはない
事実8: もしとあるものが飼養しないならばそれは持ち越す
事実9: その最小が組み立て企業だということはないかあるいは吸収され難いかもしくは両方ともだとしたらそれは組み立て企業でない
事実10: ＶＯが調達システムだということはないとすればそれはティエンリーでない
事実11: 「あの援助技術は叱責する」ということは成り立つ
事実12: あの援助技術は見え辛い
事実13: その最小は組み立て企業でないかまたはそれは吸収され難い
事実14: なんらかのものは還元ヘモグロビンでないとすれば「それは徒らっぽくてかつ飼養する」ということは確かでない
事実15: この五年後は叱責する
事実16: もしあの援助技術は見え辛いとすれば「このアイドルは叱責する」ということは誤りでない
事実17: この一パーセント前後は見え辛い
事実18: 仮になんらかの物はティエンリーでないなら「スパルタ滓であるしまたそれは見え辛いということはない」ということは誤りである

仮説: このアイドルは叱責する
1. 事実16と事実12から、仮説が導かれる

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