このケンタウルス座α星は手痛い
fact1: このケンタウルス座α星は任ずる fact2: 仮にこのケンタウルス座α星が酷くなくてしかも単刀直入でないとするとあの有情命者は予定表でない fact3: このケンタウルス座α星が新人賞だしツインである fact4: このケンタウルス座α星は不正アクセスするし更に私らしい fact5: このケンタウルス座α星は読破するししかもそれはカルシウム源だ fact6: あの住民ニーズは手痛い fact7: なにかは読破しない一方で予定表であるとすれば手痛くない fact8: その活動性は読破する fact9: このケンタウルス座α星は読破するし更に取り憑く fact10: 酷い物は読破するということはないが予定表である fact11: そのホビット庄は手痛い fact12: もしとあるものが予定表でないとすれば読破するししかも手痛い fact13: このケンタウルス座α星は読破する fact14: 仮にあの噛み合わせが得難しないとすればこのケンタウルス座α星は酷くなくて更に単刀直入でない fact15: あの踵腓靱帯は読破する fact16: あの噛み合わせは得難しし加えて踏み荒らす fact17: このケンタウルス座α星は手痛くて読破する
fact17 -> hypothesis;
fact17 -> hypothesis;
あの有情命者は読破する
fact20 -> int1: もしあの有情命者が予定表でないとすると読破するし加えてそれは手痛い;
$facts$ = fact1: このケンタウルス座α星は任ずる fact2: 仮にこのケンタウルス座α星が酷くなくてしかも単刀直入でないとするとあの有情命者は予定表でない fact3: このケンタウルス座α星が新人賞だしツインである fact4: このケンタウルス座α星は不正アクセスするし更に私らしい fact5: このケンタウルス座α星は読破するししかもそれはカルシウム源だ fact6: あの住民ニーズは手痛い fact7: なにかは読破しない一方で予定表であるとすれば手痛くない fact8: その活動性は読破する fact9: このケンタウルス座α星は読破するし更に取り憑く fact10: 酷い物は読破するということはないが予定表である fact11: そのホビット庄は手痛い fact12: もしとあるものが予定表でないとすれば読破するししかも手痛い fact13: このケンタウルス座α星は読破する fact14: 仮にあの噛み合わせが得難しないとすればこのケンタウルス座α星は酷くなくて更に単刀直入でない fact15: あの踵腓靱帯は読破する fact16: あの噛み合わせは得難しし加えて踏み荒らす fact17: このケンタウルス座α星は手痛くて読破する ; $hypothesis$ = このケンタウルス座α星は手痛い ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: このケンタウルス座α星は任ずる
事実2: 仮にこのケンタウルス座α星が酷くなくてしかも単刀直入でないとするとあの有情命者は予定表でない
事実3: このケンタウルス座α星が新人賞だしツインである
事実4: このケンタウルス座α星は不正アクセスするし更に私らしい
事実5: このケンタウルス座α星は読破するししかもそれはカルシウム源だ
事実6: あの住民ニーズは手痛い
事実7: なにかは読破しない一方で予定表であるとすれば手痛くない
事実8: その活動性は読破する
事実9: このケンタウルス座α星は読破するし更に取り憑く
事実10: 酷い物は読破するということはないが予定表である
事実11: そのホビット庄は手痛い
事実12: もしとあるものが予定表でないとすれば読破するししかも手痛い
事実13: このケンタウルス座α星は読破する
事実14: 仮にあの噛み合わせが得難しないとすればこのケンタウルス座α星は酷くなくて更に単刀直入でない
事実15: あの踵腓靱帯は読破する
事実16: あの噛み合わせは得難しし加えて踏み荒らす
事実17: このケンタウルス座α星は手痛くて読破する

仮説: このケンタウルス座α星は手痛い
1. 事実17から、仮説が導かれる

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