このレポーターは説き給わないかあるいは相次ぐ
fact1: とある物は感じ取る fact2: あの日本語ワードプロセッサはドラッグだということはないならば「それが見出だし難いしその上逆流する」ということは成り立たない fact3: もし何かは感じ取らないとすると「この六十八ページ参照は付与でない」ということは成り立つ fact4: 「あの日本語ワードプロセッサは読み聞かせるし更にドラッグだ」ということは真実でない fact5: 仮にあの職名が素描するということはないけどそれがちっこいとすればそれは異分野でない fact6: もしもこの六十八ページ参照が説き給わないとすればこのレポーターは説き給わないかもしくは相次ぐかまたは両方である fact7: 仮にこの六十八ページ参照が説き給わないならこのレポーターは説き給うかあるいはそれは相次ぐかまたは両方だ fact8: 「この六十八ページ参照は付与であるしそれは意地悪だ」ということは成り立つとしたら説き給うということはない fact9: なんらかのものは感じ取るということはない fact10: この六十八ページ参照はいとおしまないけれどそれは関与する fact11: もしもあるものは感じ取るとすると「それは説き給うということはないかまたはそれは相次ぐ」ということは成り立たない fact12: この六十八ページ参照は付与でない fact13: もしも何らかの物が感じ取るということはないならばこの六十八ページ参照は付与だということはない一方でそれは意地悪である fact14: 仮に「あの日本語ワードプロセッサは読み聞かせるしドラッグだ」ということは誤りならばドラッグでない fact15: 付与が意地悪だとしたら説き給わない fact16: 仮になんらかのものが付与であるということはないがしかしそれは意地悪であるとしたらそれは説き給わない fact17: このレポーターは説き給うかそれは相次ぐかあるいはどちらもだ fact18: 「「中国仏教でない」ということは本当な」物はある fact19: 仮に何かは見出だし難くないとすれば「意地悪で付与である」ということは偽である
fact9 & fact13 -> int1: この六十八ページ参照は付与でないがしかし意地悪だ; fact16 -> int2: 仮にこの六十八ページ参照は付与でないけど意地悪であるならば説き給わない; int1 & int2 -> int3: この六十八ページ参照は説き給わない; int3 & fact6 -> hypothesis;
fact9 & fact13 -> int1: (¬{B}{a} & {C}{a}); fact16 -> int2: (¬{B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact6 -> hypothesis;
「このレポーターは説き給わないかまたは相次ぐ」ということは間違いだ
fact24 -> int4: 仮にこのレポーターは感じ取るとすれば「説き給わないかもしくはそれは相次ぐ」ということは成り立つということはない; fact21 -> int5: 仮にこの六十八ページ参照は見出だし難いということはないとすれば「意地悪だし更にそれは付与だ」ということは間違いだ; fact23 & fact20 -> int6: あの日本語ワードプロセッサはドラッグでない; fact22 & int6 -> int7: 「あの日本語ワードプロセッサは見出だし難くてそれは逆流する」ということは成り立たない; int7 -> int8: 「「見出だし難くておまけに逆流する」ということは偽な」物はある;
$facts$ = fact1: とある物は感じ取る fact2: あの日本語ワードプロセッサはドラッグだということはないならば「それが見出だし難いしその上逆流する」ということは成り立たない fact3: もし何かは感じ取らないとすると「この六十八ページ参照は付与でない」ということは成り立つ fact4: 「あの日本語ワードプロセッサは読み聞かせるし更にドラッグだ」ということは真実でない fact5: 仮にあの職名が素描するということはないけどそれがちっこいとすればそれは異分野でない fact6: もしもこの六十八ページ参照が説き給わないとすればこのレポーターは説き給わないかもしくは相次ぐかまたは両方である fact7: 仮にこの六十八ページ参照が説き給わないならこのレポーターは説き給うかあるいはそれは相次ぐかまたは両方だ fact8: 「この六十八ページ参照は付与であるしそれは意地悪だ」ということは成り立つとしたら説き給うということはない fact9: なんらかのものは感じ取るということはない fact10: この六十八ページ参照はいとおしまないけれどそれは関与する fact11: もしもあるものは感じ取るとすると「それは説き給うということはないかまたはそれは相次ぐ」ということは成り立たない fact12: この六十八ページ参照は付与でない fact13: もしも何らかの物が感じ取るということはないならばこの六十八ページ参照は付与だということはない一方でそれは意地悪である fact14: 仮に「あの日本語ワードプロセッサは読み聞かせるしドラッグだ」ということは誤りならばドラッグでない fact15: 付与が意地悪だとしたら説き給わない fact16: 仮になんらかのものが付与であるということはないがしかしそれは意地悪であるとしたらそれは説き給わない fact17: このレポーターは説き給うかそれは相次ぐかあるいはどちらもだ fact18: 「「中国仏教でない」ということは本当な」物はある fact19: 仮に何かは見出だし難くないとすれば「意地悪で付与である」ということは偽である ; $hypothesis$ = このレポーターは説き給わないかあるいは相次ぐ ; $proof$ = 
fact9 & fact13 -> int1: この六十八ページ参照は付与でないがしかし意地悪だ; fact16 -> int2: 仮にこの六十八ページ参照は付与でないけど意地悪であるならば説き給わない; int1 & int2 -> int3: この六十八ページ参照は説き給わない; int3 & fact6 -> hypothesis; __PROVED__
事実1: とある物は感じ取る
事実2: あの日本語ワードプロセッサはドラッグだということはないならば「それが見出だし難いしその上逆流する」ということは成り立たない
事実3: もし何かは感じ取らないとすると「この六十八ページ参照は付与でない」ということは成り立つ
事実4: 「あの日本語ワードプロセッサは読み聞かせるし更にドラッグだ」ということは真実でない
事実5: 仮にあの職名が素描するということはないけどそれがちっこいとすればそれは異分野でない
事実6: もしもこの六十八ページ参照が説き給わないとすればこのレポーターは説き給わないかもしくは相次ぐかまたは両方である
事実7: 仮にこの六十八ページ参照が説き給わないならこのレポーターは説き給うかあるいはそれは相次ぐかまたは両方だ
事実8: 「この六十八ページ参照は付与であるしそれは意地悪だ」ということは成り立つとしたら説き給うということはない
事実9: なんらかのものは感じ取るということはない
事実10: この六十八ページ参照はいとおしまないけれどそれは関与する
事実11: もしもあるものは感じ取るとすると「それは説き給うということはないかまたはそれは相次ぐ」ということは成り立たない
事実12: この六十八ページ参照は付与でない
事実13: もしも何らかの物が感じ取るということはないならばこの六十八ページ参照は付与だということはない一方でそれは意地悪である
事実14: 仮に「あの日本語ワードプロセッサは読み聞かせるしドラッグだ」ということは誤りならばドラッグでない
事実15: 付与が意地悪だとしたら説き給わない
事実16: 仮になんらかのものが付与であるということはないがしかしそれは意地悪であるとしたらそれは説き給わない
事実17: このレポーターは説き給うかそれは相次ぐかあるいはどちらもだ
事実18: 「「中国仏教でない」ということは本当な」物はある
事実19: 仮に何かは見出だし難くないとすれば「意地悪で付与である」ということは偽である

仮説: このレポーターは説き給わないかあるいは相次ぐ
1. 事実9と事実13から、推論1: "この六十八ページ参照は付与でないがしかし意地悪だ"が導かれる
2. 事実16から、推論2: "仮にこの六十八ページ参照は付与でないけど意地悪であるならば説き給わない"が導かれる
3. 推論1と推論2から、推論3: "この六十八ページ参照は説き給わない"が導かれる
4. 推論3と事実6から、仮説が導かれる

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