あの機能論は巻名だ
fact1: もし仮にこのアラブ系が殴り始めないかそれが消費数量であるか両方ともであるとすればあの機能論は巻名である fact2: このアラブ系は母牛である fact3: このアラブ系は巻名でないか殴り始めるかあるいは両方ともだ fact4: あの機能論が巻名であるということはないかまたは消費数量であるかもしくはどちらもであるとしたら「このアラブ系は殴り始める」ということは本当だ fact5: あの機能論は遠い fact6: 仮に「このアラブ系は殴り始める」ということは成り立たないとすれば「あの機能論は巻名である」ということは成り立つ fact7: このアラブ系は殴り始めるか消費数量であるかどちらもである fact8: もしもあの機能論が殴り始めないか巻名であるかもしくはどちらもならこのアラブ系は消費数量である fact9: このアラブ系は殴り始めないかまたはそれは消費数量であるかあるいはどちらもである fact10: あの機能論が消費数量でないか殴り始めるかあるいは両方だとすればこのアラブ系は巻名である fact11: もし仮にこのアラブ系が殴り始めるということはないかそれが巻名であるかあるいは両方だとしたらあの機能論は消費数量だ fact12: このアラブ系は消費数量でないかもしくは巻名であるか両方ともだ fact13: あの機能論が殴り始めないかまたは消費数量ならばあのアラブ系は巻名である
fact1 & fact9 -> hypothesis;
fact1 & fact9 -> hypothesis;
あの機能論は巻名でない
$facts$ = fact1: もし仮にこのアラブ系が殴り始めないかそれが消費数量であるか両方ともであるとすればあの機能論は巻名である fact2: このアラブ系は母牛である fact3: このアラブ系は巻名でないか殴り始めるかあるいは両方ともだ fact4: あの機能論が巻名であるということはないかまたは消費数量であるかもしくはどちらもであるとしたら「このアラブ系は殴り始める」ということは本当だ fact5: あの機能論は遠い fact6: 仮に「このアラブ系は殴り始める」ということは成り立たないとすれば「あの機能論は巻名である」ということは成り立つ fact7: このアラブ系は殴り始めるか消費数量であるかどちらもである fact8: もしもあの機能論が殴り始めないか巻名であるかもしくはどちらもならこのアラブ系は消費数量である fact9: このアラブ系は殴り始めないかまたはそれは消費数量であるかあるいはどちらもである fact10: あの機能論が消費数量でないか殴り始めるかあるいは両方だとすればこのアラブ系は巻名である fact11: もし仮にこのアラブ系が殴り始めるということはないかそれが巻名であるかあるいは両方だとしたらあの機能論は消費数量だ fact12: このアラブ系は消費数量でないかもしくは巻名であるか両方ともだ fact13: あの機能論が殴り始めないかまたは消費数量ならばあのアラブ系は巻名である ; $hypothesis$ = あの機能論は巻名だ ; $proof$ = 
fact1 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にこのアラブ系が殴り始めないかそれが消費数量であるか両方ともであるとすればあの機能論は巻名である
事実2: このアラブ系は母牛である
事実3: このアラブ系は巻名でないか殴り始めるかあるいは両方ともだ
事実4: あの機能論が巻名であるということはないかまたは消費数量であるかもしくはどちらもであるとしたら「このアラブ系は殴り始める」ということは本当だ
事実5: あの機能論は遠い
事実6: 仮に「このアラブ系は殴り始める」ということは成り立たないとすれば「あの機能論は巻名である」ということは成り立つ
事実7: このアラブ系は殴り始めるか消費数量であるかどちらもである
事実8: もしもあの機能論が殴り始めないか巻名であるかもしくはどちらもならこのアラブ系は消費数量である
事実9: このアラブ系は殴り始めないかまたはそれは消費数量であるかあるいはどちらもである
事実10: あの機能論が消費数量でないか殴り始めるかあるいは両方だとすればこのアラブ系は巻名である
事実11: もし仮にこのアラブ系が殴り始めるということはないかそれが巻名であるかあるいは両方だとしたらあの機能論は消費数量だ
事実12: このアラブ系は消費数量でないかもしくは巻名であるか両方ともだ
事実13: あの機能論が殴り始めないかまたは消費数量ならばあのアラブ系は巻名である

仮説: あの機能論は巻名だ
1. 事実1と事実9から、仮説が導かれる

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