もしも「このモディファイヤスタックは遊び歩かないしスライドしない」ということは偽であるとすれば血腥い
fact1: 「何かは遊び歩かないし更にスライドしない」ということは誤っているなら血腥い
$facts$ = fact1: 「何かは遊び歩かないし更にスライドしない」ということは誤っているなら血腥い ; $hypothesis$ = もしも「このモディファイヤスタックは遊び歩かないしスライドしない」ということは偽であるとすれば血腥い ; $proof$ = 
事実1: 「何かは遊び歩かないし更にスライドしない」ということは誤っているなら血腥い

仮説: もしも「このモディファイヤスタックは遊び歩かないしスライドしない」ということは偽であるとすれば血腥い