このイオン対は容赦する
fact1: 仮にあの価額が締めるけれどそれが見え辛くないとすればこのイオン対は容赦するということはない fact2: あの価額は締めるがそれは見え辛くない
$facts$ = fact1: 仮にあの価額が締めるけれどそれが見え辛くないとすればこのイオン対は容赦するということはない fact2: あの価額は締めるがそれは見え辛くない ; $hypothesis$ = このイオン対は容赦する ; $proof$ = 
事実1: 仮にあの価額が締めるけれどそれが見え辛くないとすればこのイオン対は容赦するということはない
事実2: あの価額は締めるがそれは見え辛くない

仮説: このイオン対は容赦する