「「その超弩級はすこいがしかしシャッフルするということはない」ということは誤っている」ということは確かである
fact1: 「その超弩級はすこいけどシャッフルしない」ということは本当でない
$facts$ = fact1: 「その超弩級はすこいけどシャッフルしない」ということは本当でない ; $hypothesis$ = 「「その超弩級はすこいがしかしシャッフルするということはない」ということは誤っている」ということは確かである ; $proof$ = 
事実1: 「その超弩級はすこいけどシャッフルしない」ということは本当でない

仮説: 「「その超弩級はすこいがしかしシャッフルするということはない」ということは誤っている」ということは確かである