その合計特殊出生率はとろくない
fact1: もし「「この事故跡は研究成果である一方で悪しということはない」ということは誤りである」ということは本当であるなら研究成果でない fact2: 「交付しなくて不正チェック内容でない」物があるとしたらその合計特殊出生率はとろくない fact3: 「不正チェック内容でない」ものはある fact4: もし仮に「とあるものは研究成果でない」ということは確かであるとすれば「不正チェック内容でなくて致候わない」ということは成り立たない fact5: もし仮に「この次官はとろくないしまた交付しない」ということは真実でないとしたら「その合計特殊出生率はとろい」ということは成り立つ fact6: 「とろくない」ものはある fact7: なんらかの物は交付しないし加えて不正チェック内容でない fact8: あるものはオファー・レートでなくて加えて後ろめたくない fact9: もし仮に「交付しないがしかし不正チェック内容な」ものはあれば「「その合計特殊出生率はとろい」ということは確かだ」ということは誤りである fact10: もしも「「この次官はとろい」ということは事実と異なる」ということは誤っているとすると「不正チェック内容であるしそれにそれは交付しない」ということは成り立たない
fact7 & fact2 -> hypothesis;
fact7 & fact2 -> hypothesis;
何らかのものは得難くないしそれにそれは三葉虫だということはない
$facts$ = fact1: もし「「この事故跡は研究成果である一方で悪しということはない」ということは誤りである」ということは本当であるなら研究成果でない fact2: 「交付しなくて不正チェック内容でない」物があるとしたらその合計特殊出生率はとろくない fact3: 「不正チェック内容でない」ものはある fact4: もし仮に「とあるものは研究成果でない」ということは確かであるとすれば「不正チェック内容でなくて致候わない」ということは成り立たない fact5: もし仮に「この次官はとろくないしまた交付しない」ということは真実でないとしたら「その合計特殊出生率はとろい」ということは成り立つ fact6: 「とろくない」ものはある fact7: なんらかの物は交付しないし加えて不正チェック内容でない fact8: あるものはオファー・レートでなくて加えて後ろめたくない fact9: もし仮に「交付しないがしかし不正チェック内容な」ものはあれば「「その合計特殊出生率はとろい」ということは確かだ」ということは誤りである fact10: もしも「「この次官はとろい」ということは事実と異なる」ということは誤っているとすると「不正チェック内容であるしそれにそれは交付しない」ということは成り立たない ; $hypothesis$ = その合計特殊出生率はとろくない ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: もし「「この事故跡は研究成果である一方で悪しということはない」ということは誤りである」ということは本当であるなら研究成果でない
事実2: 「交付しなくて不正チェック内容でない」物があるとしたらその合計特殊出生率はとろくない
事実3: 「不正チェック内容でない」ものはある
事実4: もし仮に「とあるものは研究成果でない」ということは確かであるとすれば「不正チェック内容でなくて致候わない」ということは成り立たない
事実5: もし仮に「この次官はとろくないしまた交付しない」ということは真実でないとしたら「その合計特殊出生率はとろい」ということは成り立つ
事実6: 「とろくない」ものはある
事実7: なんらかの物は交付しないし加えて不正チェック内容でない
事実8: あるものはオファー・レートでなくて加えて後ろめたくない
事実9: もし仮に「交付しないがしかし不正チェック内容な」ものはあれば「「その合計特殊出生率はとろい」ということは確かだ」ということは誤りである
事実10: もしも「「この次官はとろい」ということは事実と異なる」ということは誤っているとすると「不正チェック内容であるしそれにそれは交付しない」ということは成り立たない

仮説: その合計特殊出生率はとろくない
1. 事実7と事実2から、仮説が導かれる

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