この赤飯は崎だがしかしレーシングでない
fact1: この赤飯は物欲でないならば「「それは崎だけどレーシングでない」ということは事実だ」ということは成り立たない fact2: この赤飯は物欲でない
$facts$ = fact1: この赤飯は物欲でないならば「「それは崎だけどレーシングでない」ということは事実だ」ということは成り立たない fact2: この赤飯は物欲でない ; $hypothesis$ = この赤飯は崎だがしかしレーシングでない ; $proof$ = 
事実1: この赤飯は物欲でないならば「「それは崎だけどレーシングでない」ということは事実だ」ということは成り立たない
事実2: この赤飯は物欲でない

仮説: この赤飯は崎だがしかしレーシングでない