「「愛しないならば返却本である一方で宋襄でない」ものはある」ということは間違いだ
fact1: もしその積み上げが愛しないなら返却本だけれど宋襄でない
$facts$ = fact1: もしその積み上げが愛しないなら返却本だけれど宋襄でない ; $hypothesis$ = 「「愛しないならば返却本である一方で宋襄でない」ものはある」ということは間違いだ ; $proof$ = 
事実1: もしその積み上げが愛しないなら返却本だけれど宋襄でない

仮説: 「「愛しないならば返却本である一方で宋襄でない」ものはある」ということは間違いだ