「あの摂取エネルギーは艶っぽいかまたはそれはけたたましい」ということは誤りだ
fact1: もしも何かは打ち滅ぼすなら「「あの摂取エネルギーは艶っぽいかもしくはけたたましいかまたは両方ともである」ということは間違っている」ということは偽でない fact2: 「打ち滅ぼす」ものはある
$facts$ = fact1: もしも何かは打ち滅ぼすなら「「あの摂取エネルギーは艶っぽいかもしくはけたたましいかまたは両方ともである」ということは間違っている」ということは偽でない fact2: 「打ち滅ぼす」ものはある ; $hypothesis$ = 「あの摂取エネルギーは艶っぽいかまたはそれはけたたましい」ということは誤りだ ; $proof$ = 
事実1: もしも何かは打ち滅ぼすなら「「あの摂取エネルギーは艶っぽいかもしくはけたたましいかまたは両方ともである」ということは間違っている」ということは偽でない
事実2: 「打ち滅ぼす」ものはある

仮説: 「あの摂取エネルギーは艶っぽいかまたはそれはけたたましい」ということは誤りだ