このセメント質は鋭い
fact1: このセメント質は切除する fact2: あの健闘は鋭い fact3: このセメント質は鋭い fact4: 「この引き渡しは位置付けないかまたは鋭くないかまたはどちらもだ」ということは偽であるとしたらこのセメント質は鋭くない fact5: このセメント質は近い fact6: あの鎧櫃は鋭い
fact3 -> hypothesis;
fact3 -> hypothesis;
このセメント質は鋭くない
$facts$ = fact1: このセメント質は切除する fact2: あの健闘は鋭い fact3: このセメント質は鋭い fact4: 「この引き渡しは位置付けないかまたは鋭くないかまたはどちらもだ」ということは偽であるとしたらこのセメント質は鋭くない fact5: このセメント質は近い fact6: あの鎧櫃は鋭い ; $hypothesis$ = このセメント質は鋭い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: このセメント質は切除する
事実2: あの健闘は鋭い
事実3: このセメント質は鋭い
事実4: 「この引き渡しは位置付けないかまたは鋭くないかまたはどちらもだ」ということは偽であるとしたらこのセメント質は鋭くない
事実5: このセメント質は近い
事実6: あの鎧櫃は鋭い

仮説: このセメント質は鋭い
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。