この単量体は経由しない
fact1: 仮に「その商は未信者だということはないけれどそれは捨て置く」ということは偽であるとすればこの単量体は経由するということはない fact2: 「その商は未信者でないがしかし捨て置く」ということは成り立たない
$facts$ = fact1: 仮に「その商は未信者だということはないけれどそれは捨て置く」ということは偽であるとすればこの単量体は経由するということはない fact2: 「その商は未信者でないがしかし捨て置く」ということは成り立たない ; $hypothesis$ = この単量体は経由しない ; $proof$ = 
事実1: 仮に「その商は未信者だということはないけれどそれは捨て置く」ということは偽であるとすればこの単量体は経由するということはない
事実2: 「その商は未信者でないがしかし捨て置く」ということは成り立たない

仮説: この単量体は経由しない