「「もしも秘すかもしくは三毒でないかもしくはどちらもならばツアーコンダクターでない」ものはある」ということは間違いである
fact1: もしこのチャットサーバーが秘すか三毒であるということはないかまたは両方ともならそれはツアーコンダクターでない
$facts$ = fact1: もしこのチャットサーバーが秘すか三毒であるということはないかまたは両方ともならそれはツアーコンダクターでない ; $hypothesis$ = 「「もしも秘すかもしくは三毒でないかもしくはどちらもならばツアーコンダクターでない」ものはある」ということは間違いである ; $proof$ = 
事実1: もしこのチャットサーバーが秘すか三毒であるということはないかまたは両方ともならそれはツアーコンダクターでない

仮説: 「「もしも秘すかもしくは三毒でないかもしくはどちらもならばツアーコンダクターでない」ものはある」ということは間違いである