この受け取り債権はコンパイル出来ない
fact1: もしこの受け取り債権は抜き身であるとすればそれはコンパイル出来る fact2: この受け取り債権は抜き身だ
$facts$ = fact1: もしこの受け取り債権は抜き身であるとすればそれはコンパイル出来る fact2: この受け取り債権は抜き身だ ; $hypothesis$ = この受け取り債権はコンパイル出来ない ; $proof$ = 
事実1: もしこの受け取り債権は抜き身であるとすればそれはコンパイル出来る
事実2: この受け取り債権は抜き身だ

仮説: この受け取り債権はコンパイル出来ない