「このラバーマットは押し入るがしかし酸化し難くない」ということは成り立たない
fact1: もしこのラバーマットは成り給わないならば「押し入るがしかし酸化し難くない」ということは成り立たない fact2: このラバーマットは成り給わない fact3: あの微粒子は成り給わない
$facts$ = fact1: もしこのラバーマットは成り給わないならば「押し入るがしかし酸化し難くない」ということは成り立たない fact2: このラバーマットは成り給わない fact3: あの微粒子は成り給わない ; $hypothesis$ = 「このラバーマットは押し入るがしかし酸化し難くない」ということは成り立たない ; $proof$ = 
事実1: もしこのラバーマットは成り給わないならば「押し入るがしかし酸化し難くない」ということは成り立たない
事実2: このラバーマットは成り給わない
事実3: あの微粒子は成り給わない

仮説: 「このラバーマットは押し入るがしかし酸化し難くない」ということは成り立たない