外部式パワー・フィルターはある
fact1: もし汚くないものがあるならあの二色印刷は献金しなくて加えてそれは外部式パワー・フィルターでない fact2: あのＣパーセントは邁進する fact3: もしもあの二色印刷が汚くなくて邁進しないとすればその初見は入滅する fact4: あの二色印刷は汚くない fact5: もし仮にあの二色印刷は汚いが邁進しないならば「その初見は入滅する」ということは確かだ fact6: 仮に「俗っぽくない」物があるとすればあの二色印刷は汚くない fact7: あるものは邁進する fact8: 「汚いということはない」ものはある fact9: もし「その初見は入滅する」ということは成り立つとすればあのスパイロメーターは献金しない fact10: その初見は映像化しないしそれに邁進しない fact11: もし仮にあの二色印刷が献金するとすればあのスパイロメーターは汚いが邁進しない fact12: もし仮になにかは俗っぽいということはないならばあの二色印刷は汚くないしさらに邁進するということはない fact13: 「何らかの物は俗っぽくないがしかしそれは汚い」ということは成り立たないとしたら貫通す fact14: 「俗っぽくない」ものはある fact15: 「入滅しない」ものはある fact16: もしもその初見は入滅するとしたら「あのスパイロメーターは外部式パワー・フィルターだけれど献金するということはない」ということは本当である fact17: もしあるものは邁進しないとしたら「それは俗っぽくないけれど汚い」ということは間違っている fact18: あの戦時国際法は触知出来るけどそれは外部式パワー・フィルターであるということはない fact19: もし仮になんらかのものが邁進しないとすればあの二色印刷は汚くないしそれは献金しない fact20: あのスパイロメーターは献金しない fact21: 「「俗っぽい」ということは事実な」ものはある
fact14 & fact12 -> int1: あの二色印刷は汚くないしその上邁進するということはない; int1 & fact3 -> int2: その初見は入滅する; int2 & fact16 -> int3: あのスパイロメーターは外部式パワー・フィルターであるけどそれは献金しない; int3 -> int4: あのスパイロメーターは外部式パワー・フィルターだ; int4 -> hypothesis;
「貫通す」ものはある
fact23 -> int5: もし「あの二色印刷は俗っぽくないけど汚い」ということは成り立たないとすると「それは貫通す」ということは本当だ; fact22 -> int6: もし仮にあの二色印刷は邁進しないとすると「それが俗っぽくないしさらにそれは汚い」ということは間違っている;
$facts$ = fact1: もし汚くないものがあるならあの二色印刷は献金しなくて加えてそれは外部式パワー・フィルターでない fact2: あのＣパーセントは邁進する fact3: もしもあの二色印刷が汚くなくて邁進しないとすればその初見は入滅する fact4: あの二色印刷は汚くない fact5: もし仮にあの二色印刷は汚いが邁進しないならば「その初見は入滅する」ということは確かだ fact6: 仮に「俗っぽくない」物があるとすればあの二色印刷は汚くない fact7: あるものは邁進する fact8: 「汚いということはない」ものはある fact9: もし「その初見は入滅する」ということは成り立つとすればあのスパイロメーターは献金しない fact10: その初見は映像化しないしそれに邁進しない fact11: もし仮にあの二色印刷が献金するとすればあのスパイロメーターは汚いが邁進しない fact12: もし仮になにかは俗っぽいということはないならばあの二色印刷は汚くないしさらに邁進するということはない fact13: 「何らかの物は俗っぽくないがしかしそれは汚い」ということは成り立たないとしたら貫通す fact14: 「俗っぽくない」ものはある fact15: 「入滅しない」ものはある fact16: もしもその初見は入滅するとしたら「あのスパイロメーターは外部式パワー・フィルターだけれど献金するということはない」ということは本当である fact17: もしあるものは邁進しないとしたら「それは俗っぽくないけれど汚い」ということは間違っている fact18: あの戦時国際法は触知出来るけどそれは外部式パワー・フィルターであるということはない fact19: もし仮になんらかのものが邁進しないとすればあの二色印刷は汚くないしそれは献金しない fact20: あのスパイロメーターは献金しない fact21: 「「俗っぽい」ということは事実な」ものはある ; $hypothesis$ = 外部式パワー・フィルターはある ; $proof$ = 
fact14 & fact12 -> int1: あの二色印刷は汚くないしその上邁進するということはない; int1 & fact3 -> int2: その初見は入滅する; int2 & fact16 -> int3: あのスパイロメーターは外部式パワー・フィルターであるけどそれは献金しない; int3 -> int4: あのスパイロメーターは外部式パワー・フィルターだ; int4 -> hypothesis; __PROVED__
事実1: もし汚くないものがあるならあの二色印刷は献金しなくて加えてそれは外部式パワー・フィルターでない
事実2: あのＣパーセントは邁進する
事実3: もしもあの二色印刷が汚くなくて邁進しないとすればその初見は入滅する
事実4: あの二色印刷は汚くない
事実5: もし仮にあの二色印刷は汚いが邁進しないならば「その初見は入滅する」ということは確かだ
事実6: 仮に「俗っぽくない」物があるとすればあの二色印刷は汚くない
事実7: あるものは邁進する
事実8: 「汚いということはない」ものはある
事実9: もし「その初見は入滅する」ということは成り立つとすればあのスパイロメーターは献金しない
事実10: その初見は映像化しないしそれに邁進しない
事実11: もし仮にあの二色印刷が献金するとすればあのスパイロメーターは汚いが邁進しない
事実12: もし仮になにかは俗っぽいということはないならばあの二色印刷は汚くないしさらに邁進するということはない
事実13: 「何らかの物は俗っぽくないがしかしそれは汚い」ということは成り立たないとしたら貫通す
事実14: 「俗っぽくない」ものはある
事実15: 「入滅しない」ものはある
事実16: もしもその初見は入滅するとしたら「あのスパイロメーターは外部式パワー・フィルターだけれど献金するということはない」ということは本当である
事実17: もしあるものは邁進しないとしたら「それは俗っぽくないけれど汚い」ということは間違っている
事実18: あの戦時国際法は触知出来るけどそれは外部式パワー・フィルターであるということはない
事実19: もし仮になんらかのものが邁進しないとすればあの二色印刷は汚くないしそれは献金しない
事実20: あのスパイロメーターは献金しない
事実21: 「「俗っぽい」ということは事実な」ものはある

仮説: 外部式パワー・フィルターはある
1. 事実14と事実12から、推論1: "あの二色印刷は汚くないしその上邁進するということはない"が導かれる
2. 推論1と事実3から、推論2: "その初見は入滅する"が導かれる
3. 推論2と事実16から、推論3: "あのスパイロメーターは外部式パワー・フィルターであるけどそれは献金しない"が導かれる
4. 推論3から、推論4: "あのスパイロメーターは外部式パワー・フィルターだ"が導かれる
5. 推論4から、仮説が導かれる

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