あのターミナルビルは達成し易くない
fact1: あの予約相場は達成し易くない fact2: あのターミナルビルは掴み出さない fact3: 全ての物は鳴動しない fact4: あのターミナルビルは冷め難いということはない fact5: 全ての物は劣後しない fact6: 「どれもこれもは画像処理するということはない」ということは正しい fact7: 全てのものは情状だということはない fact8: もしも何かはセットするということはないとしたらそれは整理整頓しないし伸し上がるということはない fact9: 「何もかもは努力次第であるということはない」ということは正しい fact10: 仮に「なにがしかの物は伸し上がるがしかしそれは試験者でない」ということは偽であるならそれは達成し易い fact11: 仮になにがしかの物は伸し上がらないとすると「「それは達成し易くないかまたは試験者でないかどちらもだ」ということは本当だ」ということは成り立つということはない fact12: 全てのものは達成し易くない
fact12 -> hypothesis;
fact12 -> hypothesis;
あのターミナルビルは達成し易い
fact13 -> int1: もし仮に「あのターミナルビルは伸し上がるけど試験者でない」ということは誤っているならそれは達成し易い;
$facts$ = fact1: あの予約相場は達成し易くない fact2: あのターミナルビルは掴み出さない fact3: 全ての物は鳴動しない fact4: あのターミナルビルは冷め難いということはない fact5: 全ての物は劣後しない fact6: 「どれもこれもは画像処理するということはない」ということは正しい fact7: 全てのものは情状だということはない fact8: もしも何かはセットするということはないとしたらそれは整理整頓しないし伸し上がるということはない fact9: 「何もかもは努力次第であるということはない」ということは正しい fact10: 仮に「なにがしかの物は伸し上がるがしかしそれは試験者でない」ということは偽であるならそれは達成し易い fact11: 仮になにがしかの物は伸し上がらないとすると「「それは達成し易くないかまたは試験者でないかどちらもだ」ということは本当だ」ということは成り立つということはない fact12: 全てのものは達成し易くない ; $hypothesis$ = あのターミナルビルは達成し易くない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: あの予約相場は達成し易くない
事実2: あのターミナルビルは掴み出さない
事実3: 全ての物は鳴動しない
事実4: あのターミナルビルは冷め難いということはない
事実5: 全ての物は劣後しない
事実6: 「どれもこれもは画像処理するということはない」ということは正しい
事実7: 全てのものは情状だということはない
事実8: もしも何かはセットするということはないとしたらそれは整理整頓しないし伸し上がるということはない
事実9: 「何もかもは努力次第であるということはない」ということは正しい
事実10: 仮に「なにがしかの物は伸し上がるがしかしそれは試験者でない」ということは偽であるならそれは達成し易い
事実11: 仮になにがしかの物は伸し上がらないとすると「「それは達成し易くないかまたは試験者でないかどちらもだ」ということは本当だ」ということは成り立つということはない
事実12: 全てのものは達成し易くない

仮説: あのターミナルビルは達成し易くない
1. 事実12から、仮説が導かれる

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