「もしも設定し為さるということはないとしたら「射手でないし恥ずかしということはない」ということは成り立たない」ものはある
fact1: その本屋が設定し為さらないとするとそれは射手でなくてその上それは恥ずかしない fact2: 「もしも設定し為さるということはないならば「射手だが恥ずかしない」ということは成り立たない」ものはある fact3: もし仮にその本屋は設定し為さるとすると「射手でなくて更に恥ずかしない」ということは間違いだ fact4: 「「もし仮に設定し為さるとすると「射手でないしその上恥ずかしくない」ということは成り立たない」物はある」ということは事実である fact5: もしその本屋は設定し為さらないならば「それは射手でないしまた恥ずかしない」ということは偽だ fact6: 「もしも「設定し為さるということはない」ということは事実だとすれば射手でなくて恥ずかしない」物はある fact7: その本屋は設定し為さるということはないとしたら「射手でなくてまた恥ずかし」ということは本当でない fact8: もしこの穀倉地帯は危なっかしいということはないとすると「騎射でない一方で射手だ」ということは成り立つということはない fact9: もしもその本屋は設定し為さらないなら「射手であるしそれは恥ずかしない」ということは事実と異なる
fact5 -> hypothesis;
$facts$ = fact1: その本屋が設定し為さらないとするとそれは射手でなくてその上それは恥ずかしない fact2: 「もしも設定し為さるということはないならば「射手だが恥ずかしない」ということは成り立たない」ものはある fact3: もし仮にその本屋は設定し為さるとすると「射手でなくて更に恥ずかしない」ということは間違いだ fact4: 「「もし仮に設定し為さるとすると「射手でないしその上恥ずかしくない」ということは成り立たない」物はある」ということは事実である fact5: もしその本屋は設定し為さらないならば「それは射手でないしまた恥ずかしない」ということは偽だ fact6: 「もしも「設定し為さるということはない」ということは事実だとすれば射手でなくて恥ずかしない」物はある fact7: その本屋は設定し為さるということはないとしたら「射手でなくてまた恥ずかし」ということは本当でない fact8: もしこの穀倉地帯は危なっかしいということはないとすると「騎射でない一方で射手だ」ということは成り立つということはない fact9: もしもその本屋は設定し為さらないなら「射手であるしそれは恥ずかしない」ということは事実と異なる ; $hypothesis$ = 「もしも設定し為さるということはないとしたら「射手でないし恥ずかしということはない」ということは成り立たない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: その本屋が設定し為さらないとするとそれは射手でなくてその上それは恥ずかしない
事実2: 「もしも設定し為さるということはないならば「射手だが恥ずかしない」ということは成り立たない」ものはある
事実3: もし仮にその本屋は設定し為さるとすると「射手でなくて更に恥ずかしない」ということは間違いだ
事実4: 「「もし仮に設定し為さるとすると「射手でないしその上恥ずかしくない」ということは成り立たない」物はある」ということは事実である
事実5: もしその本屋は設定し為さらないならば「それは射手でないしまた恥ずかしない」ということは偽だ
事実6: 「もしも「設定し為さるということはない」ということは事実だとすれば射手でなくて恥ずかしない」物はある
事実7: その本屋は設定し為さるということはないとしたら「射手でなくてまた恥ずかし」ということは本当でない
事実8: もしこの穀倉地帯は危なっかしいということはないとすると「騎射でない一方で射手だ」ということは成り立つということはない
事実9: もしもその本屋は設定し為さらないなら「射手であるしそれは恥ずかしない」ということは事実と異なる

仮説: 「もしも設定し為さるということはないとしたら「射手でないし恥ずかしということはない」ということは成り立たない」ものはある
1. 事実5から、仮説が導かれる

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