あのバーティゴは片端者だ
fact1: この稲置はしつこくないならば「あのバーティゴは片端者でない」ということは誤っていない fact2: この稲置はしつこくない
$facts$ = fact1: この稲置はしつこくないならば「あのバーティゴは片端者でない」ということは誤っていない fact2: この稲置はしつこくない ; $hypothesis$ = あのバーティゴは片端者だ ; $proof$ = 
事実1: この稲置はしつこくないならば「あのバーティゴは片端者でない」ということは誤っていない
事実2: この稲置はしつこくない

仮説: あのバーティゴは片端者だ