このオキシミオグロビンは嘘っぽいがしかし十二指腸でない
fact1: もしも「あの学習要求は見付け易くない」ということは正しくないとすれば「このオキシミオグロビンは嘘っぽいけど十二指腸でない」ということは嘘である fact2: あの学習要求は見付け易い
$facts$ = fact1: もしも「あの学習要求は見付け易くない」ということは正しくないとすれば「このオキシミオグロビンは嘘っぽいけど十二指腸でない」ということは嘘である fact2: あの学習要求は見付け易い ; $hypothesis$ = このオキシミオグロビンは嘘っぽいがしかし十二指腸でない ; $proof$ = 
事実1: もしも「あの学習要求は見付け易くない」ということは正しくないとすれば「このオキシミオグロビンは嘘っぽいけど十二指腸でない」ということは嘘である
事実2: あの学習要求は見付け易い

仮説: このオキシミオグロビンは嘘っぽいがしかし十二指腸でない