「もし「あの遺産額は刻苦しないしかつそれは参考するということはない」ということは本当でないならあの遺産額は追走する」ということは成り立たない
fact1: 仮に「なんらかの物は刻苦するということはないしおまけに参考するということはない」ということは成り立たないなら追走する
$facts$ = fact1: 仮に「なんらかの物は刻苦するということはないしおまけに参考するということはない」ということは成り立たないなら追走する ; $hypothesis$ = 「もし「あの遺産額は刻苦しないしかつそれは参考するということはない」ということは本当でないならあの遺産額は追走する」ということは成り立たない ; $proof$ = 
事実1: 仮に「なんらかの物は刻苦するということはないしおまけに参考するということはない」ということは成り立たないなら追走する

仮説: 「もし「あの遺産額は刻苦しないしかつそれは参考するということはない」ということは本当でないならあの遺産額は追走する」ということは成り立たない