「この入力画面は音楽ファンでなくて加えて社会化でない」ということは事実と異なる
fact1: もし仮にそのバイオテクノロジー論争が勘当しないならばこの入力画面は音楽ファンでないししかも社会化でない fact2: そのバイオテクノロジー論争は勘当しない
$facts$ = fact1: もし仮にそのバイオテクノロジー論争が勘当しないならばこの入力画面は音楽ファンでないししかも社会化でない fact2: そのバイオテクノロジー論争は勘当しない ; $hypothesis$ = 「この入力画面は音楽ファンでなくて加えて社会化でない」ということは事実と異なる ; $proof$ = 
事実1: もし仮にそのバイオテクノロジー論争が勘当しないならばこの入力画面は音楽ファンでないししかも社会化でない
事実2: そのバイオテクノロジー論争は勘当しない

仮説: 「この入力画面は音楽ファンでなくて加えて社会化でない」ということは事実と異なる