このシャント血流は麻酔医であるか超格子だ
fact1: このシャント血流は慎み深いしそれは振るう fact2: あの大英図書館が麻酔医であるとすればこのシャント血流は就業条件である fact3: もし仮にある物が超格子でないとすればあの大英図書館は慎み深い fact4: このシャント血流は勢揃いするかもしくは慎み深い fact5: このシャント血流は慎み深い fact6: このシャント血流は麻酔医でその上慎み深い fact7: その農業機械は超格子でない
fact6 -> int1: このシャント血流は麻酔医である; int1 -> hypothesis;
このシャント血流は就業条件であるし四旬節である
fact9 -> int2: 「超格子でない」ものはある; int2 & fact10 -> int3: あの大英図書館は慎み深い;
$facts$ = fact1: このシャント血流は慎み深いしそれは振るう fact2: あの大英図書館が麻酔医であるとすればこのシャント血流は就業条件である fact3: もし仮にある物が超格子でないとすればあの大英図書館は慎み深い fact4: このシャント血流は勢揃いするかもしくは慎み深い fact5: このシャント血流は慎み深い fact6: このシャント血流は麻酔医でその上慎み深い fact7: その農業機械は超格子でない ; $hypothesis$ = このシャント血流は麻酔医であるか超格子だ ; $proof$ = 
fact6 -> int1: このシャント血流は麻酔医である; int1 -> hypothesis; __PROVED__
事実1: このシャント血流は慎み深いしそれは振るう
事実2: あの大英図書館が麻酔医であるとすればこのシャント血流は就業条件である
事実3: もし仮にある物が超格子でないとすればあの大英図書館は慎み深い
事実4: このシャント血流は勢揃いするかもしくは慎み深い
事実5: このシャント血流は慎み深い
事実6: このシャント血流は麻酔医でその上慎み深い
事実7: その農業機械は超格子でない

仮説: このシャント血流は麻酔医であるか超格子だ
1. 事実6から、推論1: "このシャント血流は麻酔医である"が導かれる
2. 推論1から、仮説が導かれる

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