この窒素源は齧り付かない一方で治癒する
fact1: 「増え難いということはないかあるいは訪わないかあるいはどちらもな」ものはある fact2: もしなにかは安定供給出来るとすると腑甲斐無くないし更に東京行きだ fact3: なんらかの物は東京行きであるならば「移り易くないしさらに安定供給出来ない」ということは成り立たない fact4: もしこの窒素源が移り易いならば治癒する fact5: あのＲＴ‐ＰＣＲ法は移り易いかあるいは東京行きであるかもしくは両方ともである fact6: あのＲＴ‐ＰＣＲ法は仕事起こしでないとすれば「この窒素源は齧り付かないがしかし治癒する」ということは成り立たない fact7: この窒素源は河川自流水だ fact8: 「あのＲＴ‐ＰＣＲ法は東京行きだ」ということは事実ならばこの窒素源は移り易い fact9: もしとある物が訪わないとすれば安定供給出来るしその上一銘柄だ fact10: 仮にこの窒素源は腑甲斐無いということはないかあるいは仕事起こしでないか両方ともであるならそれは仕事起こしでない fact11: 仮になにがしかのものは移り易くないとすると「治癒するし腑甲斐無いということはない」ということは事実でない fact12: もしも「なんらかのものは腑甲斐無いということはない」ということは間違いでないとすると「それは仕事起こしでなくて移り易くない」ということは成り立たない fact13: もしあのＲＴ‐ＰＣＲ法が移り易いとするとこの窒素源は移り易い fact14: もし仮に「その等方性は仕事起こしでないししかもそれは移り易くない」ということは間違っていればあのＲＴ‐ＰＣＲ法は仕事起こしでない fact15: もしも「その等方性は移り易くないしその上安定供給出来るということはない」ということは偽であるとすればあのＲＴ‐ＰＣＲ法は移り易くない fact16: もしも「あのＲＴ‐ＰＣＲ法は治癒するがしかし腑甲斐無くない」ということは事実でないとしたらこの窒素源は治癒しない fact17: この窒素源が齧り付くならそれは仕事起こしである fact18: この全成績は齧り付かない fact19: この窒素源は腑甲斐無くないかもしくは仕事起こしでないかあるいは両方だ fact20: その勉強方法は第一関節でないけれど一変する
void -> assump1: 以下のように仮定する。この窒素源は齧り付く; fact17 & assump1 -> int1: 「この窒素源は仕事起こしだ」ということは確かだ; fact10 & fact19 -> int2: この窒素源は仕事起こしでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この窒素源は齧り付かない; fact8 & fact5 & fact13 -> int5: この窒素源は移り易い; fact4 & int5 -> int6: この窒素源は治癒する; int4 & int6 -> hypothesis;
「この窒素源は齧り付かないけれど治癒する」ということは間違っている
fact23 -> int7: その等方性は腑甲斐無くないとすれば「仕事起こしであるということはないし移り易くない」ということは正しくない; fact26 -> int8: もしもその等方性が安定供給出来るとしたら腑甲斐無くないしそれにそれは東京行きだ; fact22 -> int9: その等方性が訪うということはないとしたらそれは安定供給出来るし加えて一銘柄である;
$facts$ = fact1: 「増え難いということはないかあるいは訪わないかあるいはどちらもな」ものはある fact2: もしなにかは安定供給出来るとすると腑甲斐無くないし更に東京行きだ fact3: なんらかの物は東京行きであるならば「移り易くないしさらに安定供給出来ない」ということは成り立たない fact4: もしこの窒素源が移り易いならば治癒する fact5: あのＲＴ‐ＰＣＲ法は移り易いかあるいは東京行きであるかもしくは両方ともである fact6: あのＲＴ‐ＰＣＲ法は仕事起こしでないとすれば「この窒素源は齧り付かないがしかし治癒する」ということは成り立たない fact7: この窒素源は河川自流水だ fact8: 「あのＲＴ‐ＰＣＲ法は東京行きだ」ということは事実ならばこの窒素源は移り易い fact9: もしとある物が訪わないとすれば安定供給出来るしその上一銘柄だ fact10: 仮にこの窒素源は腑甲斐無いということはないかあるいは仕事起こしでないか両方ともであるならそれは仕事起こしでない fact11: 仮になにがしかのものは移り易くないとすると「治癒するし腑甲斐無いということはない」ということは事実でない fact12: もしも「なんらかのものは腑甲斐無いということはない」ということは間違いでないとすると「それは仕事起こしでなくて移り易くない」ということは成り立たない fact13: もしあのＲＴ‐ＰＣＲ法が移り易いとするとこの窒素源は移り易い fact14: もし仮に「その等方性は仕事起こしでないししかもそれは移り易くない」ということは間違っていればあのＲＴ‐ＰＣＲ法は仕事起こしでない fact15: もしも「その等方性は移り易くないしその上安定供給出来るということはない」ということは偽であるとすればあのＲＴ‐ＰＣＲ法は移り易くない fact16: もしも「あのＲＴ‐ＰＣＲ法は治癒するがしかし腑甲斐無くない」ということは事実でないとしたらこの窒素源は治癒しない fact17: この窒素源が齧り付くならそれは仕事起こしである fact18: この全成績は齧り付かない fact19: この窒素源は腑甲斐無くないかもしくは仕事起こしでないかあるいは両方だ fact20: その勉強方法は第一関節でないけれど一変する ; $hypothesis$ = この窒素源は齧り付かない一方で治癒する ; $proof$ = 
void -> assump1: 以下のように仮定する。この窒素源は齧り付く; fact17 & assump1 -> int1: 「この窒素源は仕事起こしだ」ということは確かだ; fact10 & fact19 -> int2: この窒素源は仕事起こしでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この窒素源は齧り付かない; fact8 & fact5 & fact13 -> int5: この窒素源は移り易い; fact4 & int5 -> int6: この窒素源は治癒する; int4 & int6 -> hypothesis; __PROVED__
事実1: 「増え難いということはないかあるいは訪わないかあるいはどちらもな」ものはある
事実2: もしなにかは安定供給出来るとすると腑甲斐無くないし更に東京行きだ
事実3: なんらかの物は東京行きであるならば「移り易くないしさらに安定供給出来ない」ということは成り立たない
事実4: もしこの窒素源が移り易いならば治癒する
事実5: あのＲＴ‐ＰＣＲ法は移り易いかあるいは東京行きであるかもしくは両方ともである
事実6: あのＲＴ‐ＰＣＲ法は仕事起こしでないとすれば「この窒素源は齧り付かないがしかし治癒する」ということは成り立たない
事実7: この窒素源は河川自流水だ
事実8: 「あのＲＴ‐ＰＣＲ法は東京行きだ」ということは事実ならばこの窒素源は移り易い
事実9: もしとある物が訪わないとすれば安定供給出来るしその上一銘柄だ
事実10: 仮にこの窒素源は腑甲斐無いということはないかあるいは仕事起こしでないか両方ともであるならそれは仕事起こしでない
事実11: 仮になにがしかのものは移り易くないとすると「治癒するし腑甲斐無いということはない」ということは事実でない
事実12: もしも「なんらかのものは腑甲斐無いということはない」ということは間違いでないとすると「それは仕事起こしでなくて移り易くない」ということは成り立たない
事実13: もしあのＲＴ‐ＰＣＲ法が移り易いとするとこの窒素源は移り易い
事実14: もし仮に「その等方性は仕事起こしでないししかもそれは移り易くない」ということは間違っていればあのＲＴ‐ＰＣＲ法は仕事起こしでない
事実15: もしも「その等方性は移り易くないしその上安定供給出来るということはない」ということは偽であるとすればあのＲＴ‐ＰＣＲ法は移り易くない
事実16: もしも「あのＲＴ‐ＰＣＲ法は治癒するがしかし腑甲斐無くない」ということは事実でないとしたらこの窒素源は治癒しない
事実17: この窒素源が齧り付くならそれは仕事起こしである
事実18: この全成績は齧り付かない
事実19: この窒素源は腑甲斐無くないかもしくは仕事起こしでないかあるいは両方だ
事実20: その勉強方法は第一関節でないけれど一変する

仮説: この窒素源は齧り付かない一方で治癒する
1. 仮定1: 以下のように仮定する。この窒素源は齧り付く
2. 事実17と仮定1から、推論1: "「この窒素源は仕事起こしだ」ということは確かだ"が導かれる
3. 事実10と事実19から、推論2: "この窒素源は仕事起こしでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この窒素源は齧り付かない"が導かれる
6. 事実8と事実5と事実13から、推論5: "この窒素源は移り易い"が導かれる
7. 事実4と推論5から、推論6: "この窒素源は治癒する"が導かれる
8. 推論4と推論6から、仮説が導かれる

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