その特許・論文間は予測し難くない
fact1: もしもある物は相接触するということはないならば「それは一回限りであるが北の方でない」ということは確かでない fact2: もし「その特許・論文間は解析機能だ一方で相接触しない」ということは誤りであるとしたらあの大平内閣は北の方だ fact3: 一回限りは予測し難くないけど出資する fact4: 「もし仮にその特許・論文間が馳せ参じるし御利用頂くならその特許・論文間は出資しない」ということは成り立つ fact5: この仕込みは修道士でないとすれば「それは起こり難くないかあるいは解析機能であるかもしくは両方ともだ」ということは間違いだ fact6: あの大平内閣が北の方なら一回限りである fact7: その特許・論文間は御利用頂く fact8: 「この仕込みは起こり難くないかもしくは解析機能であるか両方である」ということは偽であるとすれば相接触するということはない fact9: もしあの書体が浮気するしさらに忘れ易いならそれは寒くない fact10: もしもその特許・論文間は出資するし更にサンスクリット語であるとしたら痛み始めない fact11: とある物が御利用頂かないとすればそれは馳せ参じる fact12: この富裕は御引き取り頂くししかも賢しい fact13: その特許・論文間は馳せ参じるし更にそれは御利用頂く fact14: この決定過程は馳せ参じない fact15: 「あるものは一回限りだが北の方でない」ということは誤りであるなら一回限りでない fact16: もし仮になんらかのものが出資しないとしたらそれは予測し難い fact17: この仕込みは修道士でない
fact4 & fact13 -> int1: 「その特許・論文間は出資するということはない」ということは間違いでない; fact16 -> int2: その特許・論文間は出資しないとしたら「予測し難い」ということは成り立つ; int1 & int2 -> hypothesis;
その特許・論文間は予測し難くない
fact21 -> int3: もし仮に「「この仕込みは一回限りであるけど北の方でない」ということは間違っている」ということは確かであるとするとそれは一回限りでない; fact19 -> int4: もし仮にこの仕込みは相接触するということはないとすると「それは一回限りだがしかし北の方でない」ということは間違っている; fact20 & fact22 -> int5: 「この仕込みは起こり難いということはないかまたは解析機能であるか両方ともだ」ということは誤っている; fact18 & int5 -> int6: この仕込みは相接触しない; int4 & int6 -> int7: 「この仕込みは一回限りだが北の方でない」ということは成り立たない; int3 & int7 -> int8: この仕込みは一回限りだということはない; int8 -> int9: 「「一回限りでない」物はある」ということは確かである;
$facts$ = fact1: もしもある物は相接触するということはないならば「それは一回限りであるが北の方でない」ということは確かでない fact2: もし「その特許・論文間は解析機能だ一方で相接触しない」ということは誤りであるとしたらあの大平内閣は北の方だ fact3: 一回限りは予測し難くないけど出資する fact4: 「もし仮にその特許・論文間が馳せ参じるし御利用頂くならその特許・論文間は出資しない」ということは成り立つ fact5: この仕込みは修道士でないとすれば「それは起こり難くないかあるいは解析機能であるかもしくは両方ともだ」ということは間違いだ fact6: あの大平内閣が北の方なら一回限りである fact7: その特許・論文間は御利用頂く fact8: 「この仕込みは起こり難くないかもしくは解析機能であるか両方である」ということは偽であるとすれば相接触するということはない fact9: もしあの書体が浮気するしさらに忘れ易いならそれは寒くない fact10: もしもその特許・論文間は出資するし更にサンスクリット語であるとしたら痛み始めない fact11: とある物が御利用頂かないとすればそれは馳せ参じる fact12: この富裕は御引き取り頂くししかも賢しい fact13: その特許・論文間は馳せ参じるし更にそれは御利用頂く fact14: この決定過程は馳せ参じない fact15: 「あるものは一回限りだが北の方でない」ということは誤りであるなら一回限りでない fact16: もし仮になんらかのものが出資しないとしたらそれは予測し難い fact17: この仕込みは修道士でない ; $hypothesis$ = その特許・論文間は予測し難くない ; $proof$ = 
fact4 & fact13 -> int1: 「その特許・論文間は出資するということはない」ということは間違いでない; fact16 -> int2: その特許・論文間は出資しないとしたら「予測し難い」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもある物は相接触するということはないならば「それは一回限りであるが北の方でない」ということは確かでない
事実2: もし「その特許・論文間は解析機能だ一方で相接触しない」ということは誤りであるとしたらあの大平内閣は北の方だ
事実3: 一回限りは予測し難くないけど出資する
事実4: 「もし仮にその特許・論文間が馳せ参じるし御利用頂くならその特許・論文間は出資しない」ということは成り立つ
事実5: この仕込みは修道士でないとすれば「それは起こり難くないかあるいは解析機能であるかもしくは両方ともだ」ということは間違いだ
事実6: あの大平内閣が北の方なら一回限りである
事実7: その特許・論文間は御利用頂く
事実8: 「この仕込みは起こり難くないかもしくは解析機能であるか両方である」ということは偽であるとすれば相接触するということはない
事実9: もしあの書体が浮気するしさらに忘れ易いならそれは寒くない
事実10: もしもその特許・論文間は出資するし更にサンスクリット語であるとしたら痛み始めない
事実11: とある物が御利用頂かないとすればそれは馳せ参じる
事実12: この富裕は御引き取り頂くししかも賢しい
事実13: その特許・論文間は馳せ参じるし更にそれは御利用頂く
事実14: この決定過程は馳せ参じない
事実15: 「あるものは一回限りだが北の方でない」ということは誤りであるなら一回限りでない
事実16: もし仮になんらかのものが出資しないとしたらそれは予測し難い
事実17: この仕込みは修道士でない

仮説: その特許・論文間は予測し難くない
1. 事実4と事実13から、推論1: "「その特許・論文間は出資するということはない」ということは間違いでない"が導かれる
2. 事実16から、推論2: "その特許・論文間は出資しないとしたら「予測し難い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。