「その術前検査は低糖度だ」ということは成り立つ
fact1: もし仮にその術前検査が出来難いということはない一方で浅しとすれば低糖度だ fact2: 仮にその術前検査は出来難くなくて浅しないとしたらそれは低糖度だ fact3: その術前検査は浅しない fact4: その術前検査は出来難くなくてかつ浅しない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にその術前検査が出来難いということはない一方で浅しとすれば低糖度だ fact2: 仮にその術前検査は出来難くなくて浅しないとしたらそれは低糖度だ fact3: その術前検査は浅しない fact4: その術前検査は出来難くなくてかつ浅しない ; $hypothesis$ = 「その術前検査は低糖度だ」ということは成り立つ ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にその術前検査が出来難いということはない一方で浅しとすれば低糖度だ
事実2: 仮にその術前検査は出来難くなくて浅しないとしたらそれは低糖度だ
事実3: その術前検査は浅しない
事実4: その術前検査は出来難くなくてかつ浅しない

仮説: 「その術前検査は低糖度だ」ということは成り立つ
1. 事実2と事実4から、仮説が導かれる

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