その英書は断ち切れる
fact1: 「その量子コンピュータは捲れ上がるけどそれは突き崩せない」ということは成り立たない fact2: 仮に「手強くない」物はあるとすると「その量子コンピュータは捲れ上がらないし更に突き崩せるということはない」ということは偽だ fact3: もし「手強くない」ものはあるとすると「「その量子コンピュータは捲れ上がらないけれど突き崩せる」ということは真実である」ということは嘘である fact4: 「その量子コンピュータは捲れ上がらないしさらに突き崩せない」ということは誤りだとするとその英書は断ち切れない fact5: その英書は突き崩せない fact6: 「手強いということはない」ものはある
fact6 & fact2 -> int1: 「その量子コンピュータは捲れ上がらなくてしかも突き崩せない」ということは嘘だ; int1 & fact4 -> hypothesis;
fact6 & fact2 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 & fact4 -> hypothesis;
$facts$ = fact1: 「その量子コンピュータは捲れ上がるけどそれは突き崩せない」ということは成り立たない fact2: 仮に「手強くない」物はあるとすると「その量子コンピュータは捲れ上がらないし更に突き崩せるということはない」ということは偽だ fact3: もし「手強くない」ものはあるとすると「「その量子コンピュータは捲れ上がらないけれど突き崩せる」ということは真実である」ということは嘘である fact4: 「その量子コンピュータは捲れ上がらないしさらに突き崩せない」ということは誤りだとするとその英書は断ち切れない fact5: その英書は突き崩せない fact6: 「手強いということはない」ものはある ; $hypothesis$ = その英書は断ち切れる ; $proof$ = 
fact6 & fact2 -> int1: 「その量子コンピュータは捲れ上がらなくてしかも突き崩せない」ということは嘘だ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「その量子コンピュータは捲れ上がるけどそれは突き崩せない」ということは成り立たない
事実2: 仮に「手強くない」物はあるとすると「その量子コンピュータは捲れ上がらないし更に突き崩せるということはない」ということは偽だ
事実3: もし「手強くない」ものはあるとすると「「その量子コンピュータは捲れ上がらないけれど突き崩せる」ということは真実である」ということは嘘である
事実4: 「その量子コンピュータは捲れ上がらないしさらに突き崩せない」ということは誤りだとするとその英書は断ち切れない
事実5: その英書は突き崩せない
事実6: 「手強いということはない」ものはある

仮説: その英書は断ち切れる
1. 事実6と事実2から、推論1: "「その量子コンピュータは捲れ上がらなくてしかも突き崩せない」ということは嘘だ"が導かれる
2. 推論1と事実4から、仮説が否定される

よって、仮説が否定されました。