その関連領域は出羽国司だ
fact1: その関連領域が変造前である一方でそれが煮出さないとしたらそれは出羽国司だ fact2: もしもなんらかのものが変造前でなくてそれが煮出すということはないならそれは出羽国司である fact3: その関連領域は変造前でない fact4: なんらかの物は出羽国司であるけれどひょろ長くないとすると結合し易い fact5: すべては公約しない fact6: もしも変造前は煮出すということはないなら「出羽国司である」ということは確かだ fact7: あらゆるものは変造前でないしそれに煮出すということはない fact8: 何もかもは出し易くない fact9: もしも「「その関連領域は出羽国司だ一方でそれはひょろ長くない」ということは正しい」ということは事実と異なるとしたらそれは出羽国司でない fact10: あらゆるものは危うしということはない
fact2 -> int1: その関連領域は変造前でないしその上煮出さないとしたら「それは出羽国司である」ということは確かだ; fact7 -> int2: その関連領域は変造前でないしさらに煮出さない; int1 & int2 -> hypothesis;
その関連領域は出羽国司でない
$facts$ = fact1: その関連領域が変造前である一方でそれが煮出さないとしたらそれは出羽国司だ fact2: もしもなんらかのものが変造前でなくてそれが煮出すということはないならそれは出羽国司である fact3: その関連領域は変造前でない fact4: なんらかの物は出羽国司であるけれどひょろ長くないとすると結合し易い fact5: すべては公約しない fact6: もしも変造前は煮出すということはないなら「出羽国司である」ということは確かだ fact7: あらゆるものは変造前でないしそれに煮出すということはない fact8: 何もかもは出し易くない fact9: もしも「「その関連領域は出羽国司だ一方でそれはひょろ長くない」ということは正しい」ということは事実と異なるとしたらそれは出羽国司でない fact10: あらゆるものは危うしということはない ; $hypothesis$ = その関連領域は出羽国司だ ; $proof$ = 
fact2 -> int1: その関連領域は変造前でないしその上煮出さないとしたら「それは出羽国司である」ということは確かだ; fact7 -> int2: その関連領域は変造前でないしさらに煮出さない; int1 & int2 -> hypothesis; __PROVED__
事実1: その関連領域が変造前である一方でそれが煮出さないとしたらそれは出羽国司だ
事実2: もしもなんらかのものが変造前でなくてそれが煮出すということはないならそれは出羽国司である
事実3: その関連領域は変造前でない
事実4: なんらかの物は出羽国司であるけれどひょろ長くないとすると結合し易い
事実5: すべては公約しない
事実6: もしも変造前は煮出すということはないなら「出羽国司である」ということは確かだ
事実7: あらゆるものは変造前でないしそれに煮出すということはない
事実8: 何もかもは出し易くない
事実9: もしも「「その関連領域は出羽国司だ一方でそれはひょろ長くない」ということは正しい」ということは事実と異なるとしたらそれは出羽国司でない
事実10: あらゆるものは危うしということはない

仮説: その関連領域は出羽国司だ
1. 事実2から、推論1: "その関連領域は変造前でないしその上煮出さないとしたら「それは出羽国司である」ということは確かだ"が導かれる
2. 事実7から、推論2: "その関連領域は変造前でないしさらに煮出さない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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