「「このＣＧＲＰは緩いということはなくてそれに発願しない」ということは本当だ」ということは事実と異なる
fact1: このＣＧＲＰは緩くないし更に発願しない
$facts$ = fact1: このＣＧＲＰは緩くないし更に発願しない ; $hypothesis$ = 「「このＣＧＲＰは緩いということはなくてそれに発願しない」ということは本当だ」ということは事実と異なる ; $proof$ = 
事実1: このＣＧＲＰは緩くないし更に発願しない

仮説: 「「このＣＧＲＰは緩いということはなくてそれに発願しない」ということは本当だ」ということは事実と異なる