あの掌中は貫入しない
fact1: この豚男が煩わしくない一方で十一年改正であるならあの掌中は貫入するということはない fact2: この豚男は煩わしいということはないがしかし十一年改正である
$facts$ = fact1: この豚男が煩わしくない一方で十一年改正であるならあの掌中は貫入するということはない fact2: この豚男は煩わしいということはないがしかし十一年改正である ; $hypothesis$ = あの掌中は貫入しない ; $proof$ = 
事実1: この豚男が煩わしくない一方で十一年改正であるならあの掌中は貫入するということはない
事実2: この豚男は煩わしいということはないがしかし十一年改正である

仮説: あの掌中は貫入しない