あのオンレコは許諾だ
fact1: なにがしかのものが書き続けるとしたらそれは資格であるけど取り辛くない fact2: もし何らかの物が取り辛くないとすれば資格でないが書き続ける fact3: あのオンレコは折衝する fact4: とあるものは資格でないならば「それは許諾であるか力強くないかもしくはどちらもだ」ということは間違いだ fact5: もしこの細雪が埋納しないとすればその最終便が書き続けるしその上心無い fact6: あのオンレコは許諾だ fact7: あのオンレコは本格化する fact8: 仮にあの患部が資格であるということはないとしたらあのオンレコは許諾だということはない一方で力強い fact9: もしも何らかの物は埋納するが心無いということはないとしたら「それは取り辛くない」ということは成り立つ fact10: 「この産休は許諾である」ということは正しい fact11: あのオンレコは内部要因である fact12: あのオンレコは用意する fact13: あのオンレコは乗り始める fact14: このＰＩＳＡは許諾である fact15: 仮にその最終便が資格だが取り辛くないとするとあの患部は資格でない fact16: この金融上は許諾である fact17: その未堂管理官は許諾である fact18: もしも「あのオンレコは許諾であるかあるいは力強くない」ということは成り立たないとすると「この三十五歳以上は許諾だ」ということは成り立つ fact19: その可決は許諾だ
fact6 -> hypothesis;
fact6 -> hypothesis;
「この三十五歳以上は許諾である」ということは間違っていない
fact20 -> int1: もしあのオンレコは資格でないとすれば「許諾であるかあるいはそれは力強くない」ということは偽である; fact22 -> int2: もしもあのオンレコが取り辛くないならば資格でないけれど書き続ける; fact21 -> int3: もしもあのオンレコは埋納するが心無いということはないならばそれは取り辛いということはない;
$facts$ = fact1: なにがしかのものが書き続けるとしたらそれは資格であるけど取り辛くない fact2: もし何らかの物が取り辛くないとすれば資格でないが書き続ける fact3: あのオンレコは折衝する fact4: とあるものは資格でないならば「それは許諾であるか力強くないかもしくはどちらもだ」ということは間違いだ fact5: もしこの細雪が埋納しないとすればその最終便が書き続けるしその上心無い fact6: あのオンレコは許諾だ fact7: あのオンレコは本格化する fact8: 仮にあの患部が資格であるということはないとしたらあのオンレコは許諾だということはない一方で力強い fact9: もしも何らかの物は埋納するが心無いということはないとしたら「それは取り辛くない」ということは成り立つ fact10: 「この産休は許諾である」ということは正しい fact11: あのオンレコは内部要因である fact12: あのオンレコは用意する fact13: あのオンレコは乗り始める fact14: このＰＩＳＡは許諾である fact15: 仮にその最終便が資格だが取り辛くないとするとあの患部は資格でない fact16: この金融上は許諾である fact17: その未堂管理官は許諾である fact18: もしも「あのオンレコは許諾であるかあるいは力強くない」ということは成り立たないとすると「この三十五歳以上は許諾だ」ということは成り立つ fact19: その可決は許諾だ ; $hypothesis$ = あのオンレコは許諾だ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: なにがしかのものが書き続けるとしたらそれは資格であるけど取り辛くない
事実2: もし何らかの物が取り辛くないとすれば資格でないが書き続ける
事実3: あのオンレコは折衝する
事実4: とあるものは資格でないならば「それは許諾であるか力強くないかもしくはどちらもだ」ということは間違いだ
事実5: もしこの細雪が埋納しないとすればその最終便が書き続けるしその上心無い
事実6: あのオンレコは許諾だ
事実7: あのオンレコは本格化する
事実8: 仮にあの患部が資格であるということはないとしたらあのオンレコは許諾だということはない一方で力強い
事実9: もしも何らかの物は埋納するが心無いということはないとしたら「それは取り辛くない」ということは成り立つ
事実10: 「この産休は許諾である」ということは正しい
事実11: あのオンレコは内部要因である
事実12: あのオンレコは用意する
事実13: あのオンレコは乗り始める
事実14: このＰＩＳＡは許諾である
事実15: 仮にその最終便が資格だが取り辛くないとするとあの患部は資格でない
事実16: この金融上は許諾である
事実17: その未堂管理官は許諾である
事実18: もしも「あのオンレコは許諾であるかあるいは力強くない」ということは成り立たないとすると「この三十五歳以上は許諾だ」ということは成り立つ
事実19: その可決は許諾だ

仮説: あのオンレコは許諾だ
1. 事実6から、仮説が導かれる

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