「もし仮に「その四類感染症は知り難くない一方で環境調和型だ」ということは事実と異なるとしたらその四類感染症は大人し」ということは真実でない
fact1: もし仮に「何らかのものは知り難しし環境調和型だ」ということは成り立たないなら大人し fact2: 仮に「何らかの物は知り難くない一方で環境調和型である」ということは真実であるということはないとすれば大人し
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もし仮に「何らかのものは知り難しし環境調和型だ」ということは成り立たないなら大人し fact2: 仮に「何らかの物は知り難くない一方で環境調和型である」ということは真実であるということはないとすれば大人し ; $hypothesis$ = 「もし仮に「その四類感染症は知り難くない一方で環境調和型だ」ということは事実と異なるとしたらその四類感染症は大人し」ということは真実でない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかのものは知り難しし環境調和型だ」ということは成り立たないなら大人し
事実2: 仮に「何らかの物は知り難くない一方で環境調和型である」ということは真実であるということはないとすれば大人し

仮説: 「もし仮に「その四類感染症は知り難くない一方で環境調和型だ」ということは事実と異なるとしたらその四類感染症は大人し」ということは真実でない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。