「このＧＰＴは抗し難くない一方で著しい」ということは成り立たない
fact1: もし仮にこのＧＰＴが荒々しくないとすれば抗し難くない一方で著しい fact2: 「このＧＰＴは荒々しくない」ということは本当だ
$facts$ = fact1: もし仮にこのＧＰＴが荒々しくないとすれば抗し難くない一方で著しい fact2: 「このＧＰＴは荒々しくない」ということは本当だ ; $hypothesis$ = 「このＧＰＴは抗し難くない一方で著しい」ということは成り立たない ; $proof$ = 
事実1: もし仮にこのＧＰＴが荒々しくないとすれば抗し難くない一方で著しい
事実2: 「このＧＰＴは荒々しくない」ということは本当だ

仮説: 「このＧＰＴは抗し難くない一方で著しい」ということは成り立たない