その浜茶屋開きは妊娠初期だということはない
fact1: その浜茶屋開きは強過ぎなくてしかも定めない fact2: 「定める」ものはある fact3: あの生物学が定めるとすればその浜茶屋開きは強過ぎるということはなくて加えて妊娠初期であるということはない fact4: 仮に「狩るしそれに頻りにする」物があるとするとあの生物学は定める fact5: 「「狩るし頻りにする」ということは成り立つ」ものはある fact6: もしも「何かは頻りにしない」ということは真実であるならそれは妊娠初期であるかまたは狩るか両方ともだ fact7: 「狩る」ものはある fact8: あの生物学は強過ぎない fact9: ある物は頻りにする fact10: もし仮になにがしかの物が妊娠初期でおまけにそれが定めるとすればその浜茶屋開きは強過ぎる fact11: 仮にある物が強過ぎるしかつそれが妊娠初期だとするとあの生物学は定める fact12: その浜茶屋開きは強過ぎない
fact5 & fact4 -> int1: あの生物学は定める; int1 & fact3 -> int2: その浜茶屋開きは強過ぎないししかもそれは妊娠初期でない; int2 -> hypothesis;
fact5 & fact4 -> int1: {C}{a}; int1 & fact3 -> int2: (¬{E}{b} & ¬{D}{b}); int2 -> hypothesis;
その浜茶屋開きは妊娠初期である
fact13 -> int3: 仮に「あの生物学は頻りにしない」ということは事実ならそれは妊娠初期であるかあるいは狩るか両方だ;
$facts$ = fact1: その浜茶屋開きは強過ぎなくてしかも定めない fact2: 「定める」ものはある fact3: あの生物学が定めるとすればその浜茶屋開きは強過ぎるということはなくて加えて妊娠初期であるということはない fact4: 仮に「狩るしそれに頻りにする」物があるとするとあの生物学は定める fact5: 「「狩るし頻りにする」ということは成り立つ」ものはある fact6: もしも「何かは頻りにしない」ということは真実であるならそれは妊娠初期であるかまたは狩るか両方ともだ fact7: 「狩る」ものはある fact8: あの生物学は強過ぎない fact9: ある物は頻りにする fact10: もし仮になにがしかの物が妊娠初期でおまけにそれが定めるとすればその浜茶屋開きは強過ぎる fact11: 仮にある物が強過ぎるしかつそれが妊娠初期だとするとあの生物学は定める fact12: その浜茶屋開きは強過ぎない ; $hypothesis$ = その浜茶屋開きは妊娠初期だということはない ; $proof$ = 
fact5 & fact4 -> int1: あの生物学は定める; int1 & fact3 -> int2: その浜茶屋開きは強過ぎないししかもそれは妊娠初期でない; int2 -> hypothesis; __PROVED__
事実1: その浜茶屋開きは強過ぎなくてしかも定めない
事実2: 「定める」ものはある
事実3: あの生物学が定めるとすればその浜茶屋開きは強過ぎるということはなくて加えて妊娠初期であるということはない
事実4: 仮に「狩るしそれに頻りにする」物があるとするとあの生物学は定める
事実5: 「「狩るし頻りにする」ということは成り立つ」ものはある
事実6: もしも「何かは頻りにしない」ということは真実であるならそれは妊娠初期であるかまたは狩るか両方ともだ
事実7: 「狩る」ものはある
事実8: あの生物学は強過ぎない
事実9: ある物は頻りにする
事実10: もし仮になにがしかの物が妊娠初期でおまけにそれが定めるとすればその浜茶屋開きは強過ぎる
事実11: 仮にある物が強過ぎるしかつそれが妊娠初期だとするとあの生物学は定める
事実12: その浜茶屋開きは強過ぎない

仮説: その浜茶屋開きは妊娠初期だということはない
1. 事実5と事実4から、推論1: "あの生物学は定める"が導かれる
2. 推論1と事実3から、推論2: "その浜茶屋開きは強過ぎないししかもそれは妊娠初期でない"が導かれる
3. 推論2から、仮説が導かれる

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