その自動取得は持ち易い一方で議定書でない
fact1: この二十九日判決は関数関係であるということはない fact2: その自動取得は関数関係だ一方でそれは近くない fact3: もし仮に「関数関係でない」ものがあるとするとその自動取得は持ち易い fact4: 「あの後退りは働き難いし加えて家礼である」ということは嘘だ fact5: もしも「あの後退りは働き難いしおまけに家礼である」ということは事実と異なるとしたらそれは働き難くない fact6: その自動取得は持ち易い fact7: 仮になんらかのものは関数関係だということはないとすれば「持ち易くてかつ議定書でない」ということは確かでない fact8: 仮に「議定書でない」ものがあるならばあの二十九日判決は持ち易いが関数関係でない fact9: 「関数関係である」物はある fact10: あの両企業は引っ括めるがしかし持ち易くない fact11: 仮に「関数関係でない」物があるとしたらその自動取得は持ち易いけれど議定書でない fact12: その自動取得は持ち易いがしかしジャズ歌手でない
fact1 -> int1: 「関数関係でない」物はある; int1 & fact11 -> hypothesis;
fact1 -> int1: (Ex): ¬{A}x; int1 & fact11 -> hypothesis;
「その自動取得は持ち易いけど議定書であるということはない」ということは事実と異なる
fact14 -> int2: もしも「その自動取得は関数関係である」ということは誤りならば「それは持ち易いしそれに議定書でない」ということは成り立つということはない; fact13 & fact15 -> int3: あの後退りは働き難いということはない; int3 -> int4: 働き難くない物はある;
$facts$ = fact1: この二十九日判決は関数関係であるということはない fact2: その自動取得は関数関係だ一方でそれは近くない fact3: もし仮に「関数関係でない」ものがあるとするとその自動取得は持ち易い fact4: 「あの後退りは働き難いし加えて家礼である」ということは嘘だ fact5: もしも「あの後退りは働き難いしおまけに家礼である」ということは事実と異なるとしたらそれは働き難くない fact6: その自動取得は持ち易い fact7: 仮になんらかのものは関数関係だということはないとすれば「持ち易くてかつ議定書でない」ということは確かでない fact8: 仮に「議定書でない」ものがあるならばあの二十九日判決は持ち易いが関数関係でない fact9: 「関数関係である」物はある fact10: あの両企業は引っ括めるがしかし持ち易くない fact11: 仮に「関数関係でない」物があるとしたらその自動取得は持ち易いけれど議定書でない fact12: その自動取得は持ち易いがしかしジャズ歌手でない ; $hypothesis$ = その自動取得は持ち易い一方で議定書でない ; $proof$ = 
fact1 -> int1: 「関数関係でない」物はある; int1 & fact11 -> hypothesis; __PROVED__
事実1: この二十九日判決は関数関係であるということはない
事実2: その自動取得は関数関係だ一方でそれは近くない
事実3: もし仮に「関数関係でない」ものがあるとするとその自動取得は持ち易い
事実4: 「あの後退りは働き難いし加えて家礼である」ということは嘘だ
事実5: もしも「あの後退りは働き難いしおまけに家礼である」ということは事実と異なるとしたらそれは働き難くない
事実6: その自動取得は持ち易い
事実7: 仮になんらかのものは関数関係だということはないとすれば「持ち易くてかつ議定書でない」ということは確かでない
事実8: 仮に「議定書でない」ものがあるならばあの二十九日判決は持ち易いが関数関係でない
事実9: 「関数関係である」物はある
事実10: あの両企業は引っ括めるがしかし持ち易くない
事実11: 仮に「関数関係でない」物があるとしたらその自動取得は持ち易いけれど議定書でない
事実12: その自動取得は持ち易いがしかしジャズ歌手でない

仮説: その自動取得は持ち易い一方で議定書でない
1. 事実1から、推論1: "「関数関係でない」物はある"が導かれる
2. 推論1と事実11から、仮説が導かれる

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