この買い方は蜂矢である
fact1: 「戦車兵でない」ものはある fact2: もし仮にその歩行困難が駕洛国記であるとしたらあの信長軍は駕洛国記でないしそれは御めでたくない fact3: その市井は映画フィルムだ一方で駕洛国記でない fact4: もし仮にとあるものは蜂矢でないとすると美文である fact5: もし仮にその市井が美文でなくて蜂矢でないならばこの買い方は蜂矢でない fact6: もし何らかの物が映画フィルムだとするとそれはベクトルスコープである fact7: 御めでたいということはない物は映画フィルムである fact8: もし何かは戦車兵でないとすればあの市井は美文だということはないし詐称しない fact9: 仮にその市井が映画フィルムであるけど駕洛国記でないならばそれは美文であるということはない fact10: もしもあの信長軍がベクトルスコープであるとしたらこの買い方は蜂矢だ fact11: もし仮にその市井が美文でなくて詐称しないとしたらその歩行困難は駕洛国記である
fact1 & fact8 -> int1: その市井は美文でないし詐称しない; int1 & fact11 -> int2: その歩行困難は駕洛国記である; int2 & fact2 -> int3: あの信長軍は駕洛国記でなくてその上御めでたくない; int3 -> int4: あの信長軍は御めでたくない; fact7 -> int5: もしも「あの信長軍は御めでたくない」ということは事実だとすれば映画フィルムである; int4 & int5 -> int6: あの信長軍は映画フィルムである; fact6 -> int7: もしもあの信長軍は映画フィルムであるとするとそれはベクトルスコープである; int6 & int7 -> int8: あの信長軍はベクトルスコープだ; int8 & fact10 -> hypothesis;
この買い方は蜂矢でない
fact12 & fact13 -> int9: その市井は美文でない;
$facts$ = fact1: 「戦車兵でない」ものはある fact2: もし仮にその歩行困難が駕洛国記であるとしたらあの信長軍は駕洛国記でないしそれは御めでたくない fact3: その市井は映画フィルムだ一方で駕洛国記でない fact4: もし仮にとあるものは蜂矢でないとすると美文である fact5: もし仮にその市井が美文でなくて蜂矢でないならばこの買い方は蜂矢でない fact6: もし何らかの物が映画フィルムだとするとそれはベクトルスコープである fact7: 御めでたいということはない物は映画フィルムである fact8: もし何かは戦車兵でないとすればあの市井は美文だということはないし詐称しない fact9: 仮にその市井が映画フィルムであるけど駕洛国記でないならばそれは美文であるということはない fact10: もしもあの信長軍がベクトルスコープであるとしたらこの買い方は蜂矢だ fact11: もし仮にその市井が美文でなくて詐称しないとしたらその歩行困難は駕洛国記である ; $hypothesis$ = この買い方は蜂矢である ; $proof$ = 
fact1 & fact8 -> int1: その市井は美文でないし詐称しない; int1 & fact11 -> int2: その歩行困難は駕洛国記である; int2 & fact2 -> int3: あの信長軍は駕洛国記でなくてその上御めでたくない; int3 -> int4: あの信長軍は御めでたくない; fact7 -> int5: もしも「あの信長軍は御めでたくない」ということは事実だとすれば映画フィルムである; int4 & int5 -> int6: あの信長軍は映画フィルムである; fact6 -> int7: もしもあの信長軍は映画フィルムであるとするとそれはベクトルスコープである; int6 & int7 -> int8: あの信長軍はベクトルスコープだ; int8 & fact10 -> hypothesis; __PROVED__
事実1: 「戦車兵でない」ものはある
事実2: もし仮にその歩行困難が駕洛国記であるとしたらあの信長軍は駕洛国記でないしそれは御めでたくない
事実3: その市井は映画フィルムだ一方で駕洛国記でない
事実4: もし仮にとあるものは蜂矢でないとすると美文である
事実5: もし仮にその市井が美文でなくて蜂矢でないならばこの買い方は蜂矢でない
事実6: もし何らかの物が映画フィルムだとするとそれはベクトルスコープである
事実7: 御めでたいということはない物は映画フィルムである
事実8: もし何かは戦車兵でないとすればあの市井は美文だということはないし詐称しない
事実9: 仮にその市井が映画フィルムであるけど駕洛国記でないならばそれは美文であるということはない
事実10: もしもあの信長軍がベクトルスコープであるとしたらこの買い方は蜂矢だ
事実11: もし仮にその市井が美文でなくて詐称しないとしたらその歩行困難は駕洛国記である

仮説: この買い方は蜂矢である
1. 事実1と事実8から、推論1: "その市井は美文でないし詐称しない"が導かれる
2. 推論1と事実11から、推論2: "その歩行困難は駕洛国記である"が導かれる
3. 推論2と事実2から、推論3: "あの信長軍は駕洛国記でなくてその上御めでたくない"が導かれる
4. 推論3から、推論4: "あの信長軍は御めでたくない"が導かれる
5. 事実7から、推論5: "もしも「あの信長軍は御めでたくない」ということは事実だとすれば映画フィルムである"が導かれる
6. 推論4と推論5から、推論6: "あの信長軍は映画フィルムである"が導かれる
7. 事実6から、推論7: "もしもあの信長軍は映画フィルムであるとするとそれはベクトルスコープである"が導かれる
8. 推論6と推論7から、推論8: "あの信長軍はベクトルスコープだ"が導かれる
9. 推論8と事実10から、仮説が導かれる

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