この二事業年度は気忙しいが丸っこいということはない
fact1: 仮にあるものが利用すらないならそれは思ししかつ社員名簿である fact2: もし仮に「何らかの物は思しがそれは残り易くない」ということは成り立たないなら権力者だ fact3: もし仮に「官職でないしその上半周しない」ものはあるなら「あの千九百四十四年末は残り易くない」ということは本当であるということはない fact4: もし仮に「「ぐったりするしかつ習慣付ける」ということは成り立たない」ものがあればあのスローインはぐったりするということはない fact5: なにがしかの物は長ったらしくないならば「あの研究発表は賑々しい」ということは本当である fact6: とあるものが賑々しいとしたらそれは官職でなくて加えて半周しない fact7: もしあのスローインが利用すらないがそれが学術書であるとしたらあの千九百四十四年末は利用すということはない fact8: この二事業年度は気忙しいが丸っこいということはない fact9: もし仮にあのスローインがぐったりしないとするとそれは利用すらないし学術書だ fact10: この関係政令は冷め易くないけれど長ったらしい fact11: 「あの人買いはきんぽう気科だということはない」ということは本当である fact12: 「この関係政令は冷め易くないが長ったらしい」ということは本当だとするとあの非線形は長ったらしいということはない fact13: もし「あの人買いはきんぽう気科でない」ということは成り立つとすると「「ぐったりするし習慣付ける」ということは本当である」ということは成り立たない fact14: この二事業年度は丸っこくない fact15: あの千九百四十四年末が思しし残り易いとするとその文字列は気忙しくない
fact8 -> hypothesis;
fact8 -> hypothesis;
そのＨ法は権力者であるがしかし気忙しくない
fact16 -> int1: もしも「そのＨ法は思しけれど残り易くない」ということは成り立たないとすればそれは権力者だ;
$facts$ = fact1: 仮にあるものが利用すらないならそれは思ししかつ社員名簿である fact2: もし仮に「何らかの物は思しがそれは残り易くない」ということは成り立たないなら権力者だ fact3: もし仮に「官職でないしその上半周しない」ものはあるなら「あの千九百四十四年末は残り易くない」ということは本当であるということはない fact4: もし仮に「「ぐったりするしかつ習慣付ける」ということは成り立たない」ものがあればあのスローインはぐったりするということはない fact5: なにがしかの物は長ったらしくないならば「あの研究発表は賑々しい」ということは本当である fact6: とあるものが賑々しいとしたらそれは官職でなくて加えて半周しない fact7: もしあのスローインが利用すらないがそれが学術書であるとしたらあの千九百四十四年末は利用すということはない fact8: この二事業年度は気忙しいが丸っこいということはない fact9: もし仮にあのスローインがぐったりしないとするとそれは利用すらないし学術書だ fact10: この関係政令は冷め易くないけれど長ったらしい fact11: 「あの人買いはきんぽう気科だということはない」ということは本当である fact12: 「この関係政令は冷め易くないが長ったらしい」ということは本当だとするとあの非線形は長ったらしいということはない fact13: もし「あの人買いはきんぽう気科でない」ということは成り立つとすると「「ぐったりするし習慣付ける」ということは本当である」ということは成り立たない fact14: この二事業年度は丸っこくない fact15: あの千九百四十四年末が思しし残り易いとするとその文字列は気忙しくない ; $hypothesis$ = この二事業年度は気忙しいが丸っこいということはない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にあるものが利用すらないならそれは思ししかつ社員名簿である
事実2: もし仮に「何らかの物は思しがそれは残り易くない」ということは成り立たないなら権力者だ
事実3: もし仮に「官職でないしその上半周しない」ものはあるなら「あの千九百四十四年末は残り易くない」ということは本当であるということはない
事実4: もし仮に「「ぐったりするしかつ習慣付ける」ということは成り立たない」ものがあればあのスローインはぐったりするということはない
事実5: なにがしかの物は長ったらしくないならば「あの研究発表は賑々しい」ということは本当である
事実6: とあるものが賑々しいとしたらそれは官職でなくて加えて半周しない
事実7: もしあのスローインが利用すらないがそれが学術書であるとしたらあの千九百四十四年末は利用すということはない
事実8: この二事業年度は気忙しいが丸っこいということはない
事実9: もし仮にあのスローインがぐったりしないとするとそれは利用すらないし学術書だ
事実10: この関係政令は冷め易くないけれど長ったらしい
事実11: 「あの人買いはきんぽう気科だということはない」ということは本当である
事実12: 「この関係政令は冷め易くないが長ったらしい」ということは本当だとするとあの非線形は長ったらしいということはない
事実13: もし「あの人買いはきんぽう気科でない」ということは成り立つとすると「「ぐったりするし習慣付ける」ということは本当である」ということは成り立たない
事実14: この二事業年度は丸っこくない
事実15: あの千九百四十四年末が思しし残り易いとするとその文字列は気忙しくない

仮説: この二事業年度は気忙しいが丸っこいということはない
1. 事実8から、仮説が導かれる

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