「もしこの車検が概算するがそれは従軍しないなら「この車検は重しない」ということは本当だ」ということは事実と異なる
fact1: もしも何らかの物は概算するけど従軍するということはないならば重しない
$facts$ = fact1: もしも何らかの物は概算するけど従軍するということはないならば重しない ; $hypothesis$ = 「もしこの車検が概算するがそれは従軍しないなら「この車検は重しない」ということは本当だ」ということは事実と異なる ; $proof$ = 
事実1: もしも何らかの物は概算するけど従軍するということはないならば重しない

仮説: 「もしこの車検が概算するがそれは従軍しないなら「この車検は重しない」ということは本当だ」ということは事実と異なる