「「あの坂東武士団はうら若しないしそれは解凍しない」ということは誤っている」ということは間違いでない
fact1: あの坂東武士団は伏兵だ fact2: もし仮にあの坂東武士団は伏兵であるとしたら「それはうら若しないし解凍しない」ということは嘘である
$facts$ = fact1: あの坂東武士団は伏兵だ fact2: もし仮にあの坂東武士団は伏兵であるとしたら「それはうら若しないし解凍しない」ということは嘘である ; $hypothesis$ = 「「あの坂東武士団はうら若しないしそれは解凍しない」ということは誤っている」ということは間違いでない ; $proof$ = 
事実1: あの坂東武士団は伏兵だ
事実2: もし仮にあの坂東武士団は伏兵であるとしたら「それはうら若しないし解凍しない」ということは嘘である

仮説: 「「あの坂東武士団はうら若しないしそれは解凍しない」ということは誤っている」ということは間違いでない