「もしも馴染み易くないなら「着易くて更に示し易い」ということは成り立つということはない」物はある
fact1: もしもなにかは名うてでないなら「それは以下本節だし批判する」ということは事実だということはない fact2: もしそのパススルーは交易でないとしたら「それはグローバル変数で移ろい易い」ということは偽である fact3: 仮になにかは低くないとすると「「ごわごわするし更にそれは仕方無い」ということは真実だ」ということは誤っている fact4: もしもその指定医は再検討すらないなら「それは着易いししかも得られ易い」ということは事実と異なる fact5: 「もしも「消え入らない」ということは事実だとしたら「尊崇するし壊れ難い」ということは嘘である」ものはある fact6: もしあのミアンセリンは乗っけないなら「波及するしそれに伝う」ということは成り立たない fact7: 「もし馴染み易いということはないなら着易くてさらに示し易い」ものはある fact8: 「「もし仮にテルなら「疑い深いし更に曇り無し」ということは嘘である」ものはある」ということは成り立つ fact9: そのパススルーはノモンハン事件でないならば「さり気無いしかつフロラだ」ということは間違っている fact10: 「もしそのパススルーは馴染み易いとすると「そのパススルーは御紹介するしおまけにそれは酷い」ということは事実でない」ということは成り立つ fact11: 「仮にフロラでないとすると「改悛するし加えて魅了する」ということは成り立たない」ものはある fact12: もしそのパススルーは馴染み易くないならば「それは着易くて示し易い」ということは成り立つということはない fact13: もしもそのパススルーは馴染み易いなら「着易いし示し易い」ということは誤っている fact14: 「もしもそのパススルーは馴染み易くないとしたら「そのパススルーは選択され易いし各教育委員会だ」ということは成り立たない」ということは確かである fact15: 仮に「「そのパススルーは示し易い」ということは本当である」ということは成り立たないなら「乗っけるし更に教義自体だ」ということは成り立たない fact16: もしもそのパススルーは看過し難くないならば「三栗物語であるしまた位相特性だ」ということは成り立たない fact17: 「もしも馴染み易いとすれば「着易いし更に示し易い」ということは本当でない」物はある fact18: もしそのパススルーが馴染み易くないとすればそれは着易くて示し易い fact19: もしそのパススルーは示し易くないならば「ちっちゃくて加えて孵す」ということは誤っている
fact12 -> hypothesis;
「低いということはないなら「ごわごわするしかつ仕方無い」ということは間違いな」物はある
fact20 -> int1: 仮にあのチャイナマンズ・ハットは低くないなら「それはごわごわするしおまけにそれは仕方無い」ということは真実でない; int1 -> hypothesis;
$facts$ = fact1: もしもなにかは名うてでないなら「それは以下本節だし批判する」ということは事実だということはない fact2: もしそのパススルーは交易でないとしたら「それはグローバル変数で移ろい易い」ということは偽である fact3: 仮になにかは低くないとすると「「ごわごわするし更にそれは仕方無い」ということは真実だ」ということは誤っている fact4: もしもその指定医は再検討すらないなら「それは着易いししかも得られ易い」ということは事実と異なる fact5: 「もしも「消え入らない」ということは事実だとしたら「尊崇するし壊れ難い」ということは嘘である」ものはある fact6: もしあのミアンセリンは乗っけないなら「波及するしそれに伝う」ということは成り立たない fact7: 「もし馴染み易いということはないなら着易くてさらに示し易い」ものはある fact8: 「「もし仮にテルなら「疑い深いし更に曇り無し」ということは嘘である」ものはある」ということは成り立つ fact9: そのパススルーはノモンハン事件でないならば「さり気無いしかつフロラだ」ということは間違っている fact10: 「もしそのパススルーは馴染み易いとすると「そのパススルーは御紹介するしおまけにそれは酷い」ということは事実でない」ということは成り立つ fact11: 「仮にフロラでないとすると「改悛するし加えて魅了する」ということは成り立たない」ものはある fact12: もしそのパススルーは馴染み易くないならば「それは着易くて示し易い」ということは成り立つということはない fact13: もしもそのパススルーは馴染み易いなら「着易いし示し易い」ということは誤っている fact14: 「もしもそのパススルーは馴染み易くないとしたら「そのパススルーは選択され易いし各教育委員会だ」ということは成り立たない」ということは確かである fact15: 仮に「「そのパススルーは示し易い」ということは本当である」ということは成り立たないなら「乗っけるし更に教義自体だ」ということは成り立たない fact16: もしもそのパススルーは看過し難くないならば「三栗物語であるしまた位相特性だ」ということは成り立たない fact17: 「もしも馴染み易いとすれば「着易いし更に示し易い」ということは本当でない」物はある fact18: もしそのパススルーが馴染み易くないとすればそれは着易くて示し易い fact19: もしそのパススルーは示し易くないならば「ちっちゃくて加えて孵す」ということは誤っている ; $hypothesis$ = 「もしも馴染み易くないなら「着易くて更に示し易い」ということは成り立つということはない」物はある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もしもなにかは名うてでないなら「それは以下本節だし批判する」ということは事実だということはない
事実2: もしそのパススルーは交易でないとしたら「それはグローバル変数で移ろい易い」ということは偽である
事実3: 仮になにかは低くないとすると「「ごわごわするし更にそれは仕方無い」ということは真実だ」ということは誤っている
事実4: もしもその指定医は再検討すらないなら「それは着易いししかも得られ易い」ということは事実と異なる
事実5: 「もしも「消え入らない」ということは事実だとしたら「尊崇するし壊れ難い」ということは嘘である」ものはある
事実6: もしあのミアンセリンは乗っけないなら「波及するしそれに伝う」ということは成り立たない
事実7: 「もし馴染み易いということはないなら着易くてさらに示し易い」ものはある
事実8: 「「もし仮にテルなら「疑い深いし更に曇り無し」ということは嘘である」ものはある」ということは成り立つ
事実9: そのパススルーはノモンハン事件でないならば「さり気無いしかつフロラだ」ということは間違っている
事実10: 「もしそのパススルーは馴染み易いとすると「そのパススルーは御紹介するしおまけにそれは酷い」ということは事実でない」ということは成り立つ
事実11: 「仮にフロラでないとすると「改悛するし加えて魅了する」ということは成り立たない」ものはある
事実12: もしそのパススルーは馴染み易くないならば「それは着易くて示し易い」ということは成り立つということはない
事実13: もしもそのパススルーは馴染み易いなら「着易いし示し易い」ということは誤っている
事実14: 「もしもそのパススルーは馴染み易くないとしたら「そのパススルーは選択され易いし各教育委員会だ」ということは成り立たない」ということは確かである
事実15: 仮に「「そのパススルーは示し易い」ということは本当である」ということは成り立たないなら「乗っけるし更に教義自体だ」ということは成り立たない
事実16: もしもそのパススルーは看過し難くないならば「三栗物語であるしまた位相特性だ」ということは成り立たない
事実17: 「もしも馴染み易いとすれば「着易いし更に示し易い」ということは本当でない」物はある
事実18: もしそのパススルーが馴染み易くないとすればそれは着易くて示し易い
事実19: もしそのパススルーは示し易くないならば「ちっちゃくて加えて孵す」ということは誤っている

仮説: 「もしも馴染み易くないなら「着易くて更に示し易い」ということは成り立つということはない」物はある
1. 事実12から、仮説が導かれる

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