「もし仮に粗くないならば生産系だけれど防護服でない」ものはある
fact1: もし何かは粗くないとしたらそれは生産系であるがしかし防護服でない fact2: 「仮に粗くないとすれば生産系だし防護服である」ものはある fact3: もし仮にその年少者猥褻罪が粗くないとしたらそれは生産系であるし更に防護服である fact4: 粗くないものは生産系でその上防護服である fact5: 粗くない物は生産系である fact6: 粗い物は生産系であるけど防護服でない
fact1 -> int1: もし仮にその年少者猥褻罪が粗くないとすればそれは生産系でその上防護服でない; int1 -> hypothesis;
$facts$ = fact1: もし何かは粗くないとしたらそれは生産系であるがしかし防護服でない fact2: 「仮に粗くないとすれば生産系だし防護服である」ものはある fact3: もし仮にその年少者猥褻罪が粗くないとしたらそれは生産系であるし更に防護服である fact4: 粗くないものは生産系でその上防護服である fact5: 粗くない物は生産系である fact6: 粗い物は生産系であるけど防護服でない ; $hypothesis$ = 「もし仮に粗くないならば生産系だけれど防護服でない」ものはある ; $proof$ = 
fact1 -> int1: もし仮にその年少者猥褻罪が粗くないとすればそれは生産系でその上防護服でない; int1 -> hypothesis; __PROVED__
事実1: もし何かは粗くないとしたらそれは生産系であるがしかし防護服でない
事実2: 「仮に粗くないとすれば生産系だし防護服である」ものはある
事実3: もし仮にその年少者猥褻罪が粗くないとしたらそれは生産系であるし更に防護服である
事実4: 粗くないものは生産系でその上防護服である
事実5: 粗くない物は生産系である
事実6: 粗い物は生産系であるけど防護服でない

仮説: 「もし仮に粗くないならば生産系だけれど防護服でない」ものはある
1. 事実1から、推論1: "もし仮にその年少者猥褻罪が粗くないとすればそれは生産系でその上防護服でない"が導かれる
2. 推論1から、仮説が導かれる

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