「「食しないけど聞き比べるとしたらＳＧであるということはない」ものはある」ということは間違いだ
fact1: 仮にこの性格上が食しないけれど聞き比べればＳＧでない
$facts$ = fact1: 仮にこの性格上が食しないけれど聞き比べればＳＧでない ; $hypothesis$ = 「「食しないけど聞き比べるとしたらＳＧであるということはない」ものはある」ということは間違いだ ; $proof$ = 
事実1: 仮にこの性格上が食しないけれど聞き比べればＳＧでない

仮説: 「「食しないけど聞き比べるとしたらＳＧであるということはない」ものはある」ということは間違いだ