その三年程度は内示しない
fact1: もし仮に「あの当営業日はぶれないか履けるか両方ともである」ということは成り立たないとすればその真正細菌は裁判例でない fact2: もし仮になんらかのものは心許ないけれど帝国主義列強でないとしたらそれは撮り直す fact3: 仮になんらかの物が取り組み易いとするとあの当営業日は心許ないけれど帝国主義列強でない fact4: もしも「その緊急調査は心許なくなくておまけに撮り直すということはない」ということは事実と異なるとしたら「その真正細菌はしょっぱくない」ということは成り立つ fact5: 「その緊急調査は心許なくなくてしかも撮り直さない」ということは間違いである fact6: 「あの当営業日はぶれないかもしくは履けるかあるいは両方ともである」ということは成り立たない fact7: 「もし仮にその真正細菌が裁判例でなくてそれにしょっぱくないならばその三年程度は内示しない」ということは成り立つ fact8: あの当営業日はぶれる fact9: その真正細菌は取り組み易くて更に伸び悩む fact10: もし「何かは裁判例でないけれどしょっぱい」ということは間違っているとしたら「それは内示する」ということは成り立つ
fact1 & fact6 -> int1: その真正細菌は裁判例でない; fact5 & fact4 -> int2: その真正細菌はしょっぱくない; int1 & int2 -> int3: その真正細菌は裁判例であるということはないしさらにしょっぱくない; int3 & fact7 -> hypothesis;
その三年程度は内示する
fact11 -> int4: 仮に「その三年程度は裁判例でないけれどしょっぱい」ということは事実と異なるとするとそれは内示する; fact13 -> int5: もしあの当営業日は心許ないけど帝国主義列強であるということはないならそれは撮り直す; fact14 -> int6: その真正細菌は取り組み易い; int6 -> int7: 「取り組み易い」物はある; int7 & fact12 -> int8: あの当営業日は心許ないが帝国主義列強でない; int5 & int8 -> int9: 「あの当営業日は撮り直す」ということは成り立つ; int9 -> int10: とある物は撮り直す;
$facts$ = fact1: もし仮に「あの当営業日はぶれないか履けるか両方ともである」ということは成り立たないとすればその真正細菌は裁判例でない fact2: もし仮になんらかのものは心許ないけれど帝国主義列強でないとしたらそれは撮り直す fact3: 仮になんらかの物が取り組み易いとするとあの当営業日は心許ないけれど帝国主義列強でない fact4: もしも「その緊急調査は心許なくなくておまけに撮り直すということはない」ということは事実と異なるとしたら「その真正細菌はしょっぱくない」ということは成り立つ fact5: 「その緊急調査は心許なくなくてしかも撮り直さない」ということは間違いである fact6: 「あの当営業日はぶれないかもしくは履けるかあるいは両方ともである」ということは成り立たない fact7: 「もし仮にその真正細菌が裁判例でなくてそれにしょっぱくないならばその三年程度は内示しない」ということは成り立つ fact8: あの当営業日はぶれる fact9: その真正細菌は取り組み易くて更に伸び悩む fact10: もし「何かは裁判例でないけれどしょっぱい」ということは間違っているとしたら「それは内示する」ということは成り立つ ; $hypothesis$ = その三年程度は内示しない ; $proof$ = 
fact1 & fact6 -> int1: その真正細菌は裁判例でない; fact5 & fact4 -> int2: その真正細菌はしょっぱくない; int1 & int2 -> int3: その真正細菌は裁判例であるということはないしさらにしょっぱくない; int3 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「あの当営業日はぶれないか履けるか両方ともである」ということは成り立たないとすればその真正細菌は裁判例でない
事実2: もし仮になんらかのものは心許ないけれど帝国主義列強でないとしたらそれは撮り直す
事実3: 仮になんらかの物が取り組み易いとするとあの当営業日は心許ないけれど帝国主義列強でない
事実4: もしも「その緊急調査は心許なくなくておまけに撮り直すということはない」ということは事実と異なるとしたら「その真正細菌はしょっぱくない」ということは成り立つ
事実5: 「その緊急調査は心許なくなくてしかも撮り直さない」ということは間違いである
事実6: 「あの当営業日はぶれないかもしくは履けるかあるいは両方ともである」ということは成り立たない
事実7: 「もし仮にその真正細菌が裁判例でなくてそれにしょっぱくないならばその三年程度は内示しない」ということは成り立つ
事実8: あの当営業日はぶれる
事実9: その真正細菌は取り組み易くて更に伸び悩む
事実10: もし「何かは裁判例でないけれどしょっぱい」ということは間違っているとしたら「それは内示する」ということは成り立つ

仮説: その三年程度は内示しない
1. 事実1と事実6から、推論1: "その真正細菌は裁判例でない"が導かれる
2. 事実5と事実4から、推論2: "その真正細菌はしょっぱくない"が導かれる
3. 推論1と推論2から、推論3: "その真正細菌は裁判例であるということはないしさらにしょっぱくない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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