「あの竹村家は要素技術でなくてしかもそれは一杯でない」ということは本当だ
fact1: もしも「このコレクション中は釧路管内である」ということは確かなら「あの竹村家は要素技術でなくて一杯でない」ということは本当でない fact2: このコレクション中は釧路管内である
$facts$ = fact1: もしも「このコレクション中は釧路管内である」ということは確かなら「あの竹村家は要素技術でなくて一杯でない」ということは本当でない fact2: このコレクション中は釧路管内である ; $hypothesis$ = 「あの竹村家は要素技術でなくてしかもそれは一杯でない」ということは本当だ ; $proof$ = 
事実1: もしも「このコレクション中は釧路管内である」ということは確かなら「あの竹村家は要素技術でなくて一杯でない」ということは本当でない
事実2: このコレクション中は釧路管内である

仮説: 「あの竹村家は要素技術でなくてしかもそれは一杯でない」ということは本当だ