この超音波断層法は明治元年である
fact1: もし仮になんらかのものがアクセス出来るならそれは自認する一方で定義し直さない fact2: もし仮にあの人事政策は定義し直さないとしたら「その比例税率は自認するが定義し直さない」ということは成り立たない fact3: もしも「何かは定義し直す」ということは成り立つとするとあの人事政策は明治元年であるかもしくは定義し直す fact4: その熟練者がアクセス出来ないけど如何わしいならばその他覚的検査はアクセス出来る fact5: もしなにがしかのものが動かし続ければそれは過ごし易いけど香しかない fact6: その出会い行動は締め始めるということはない fact7: もし仮にその熟練者が飛翔するということはないならばそれは自認しないしそれは如何わしくない fact8: もし仮になにかはアクセス出来ないならばそれは定義し直すし点灸する fact9: もしも「「定義し直すしさらに点灸する」ということは誤りな」ものがあるとしたらこの超音波断層法はアクセス出来る fact10: もしもこの超音波断層法が明治元年であるししかもそれが点灸するとするとあの人事政策は定義し直すということはない fact11: もし仮にその他覚的検査がアクセス出来るとしたらその比例税率はアクセス出来る fact12: 「「「「山深いし疎ましい」ということは真実である」ということは成り立たない」物はある」ということは成り立つならこの超音波断層法は点灸する fact13: もし仮に「自認しない」ものがあるとすればあの他覚的検査はアクセス出来るし御固い fact14: 仮にその他覚的検査がアクセス出来るしおまけにそれが御固いならその比例税率はアクセス出来るということはない fact15: 「「山深いし疎ましい」ということは間違っている」ものはある fact16: もしもその熟練者がアクセス出来なくて如何わしいということはないならばその他覚的検査はアクセス出来る fact17: その熟練者はアクセス出来ないし如何わしくない fact18: もし仮にその他覚的検査は自認しないとすれば「その比例税率はアクセス出来るがしかし自認しない」ということは嘘である fact19: その他覚的検査は自認しないなら「その熟練者はアクセス出来るけど自認しない」ということは確かでない fact20: もしあの人事政策が明治元年であるとしたらこの超音波断層法は明治元年だ fact21: あの人事政策は疎ましい
fact15 & fact12 -> int1: この超音波断層法は点灸する; void -> assump1: 以下のように仮定する。この超音波断層法は明治元年である; int1 & assump1 -> int2: この超音波断層法は明治元年でまた点灸する; int2 & fact10 -> int3: あの人事政策は定義し直さない; int3 & fact2 -> int4: 「その比例税率は自認するけど定義し直さない」ということは誤っている; fact1 -> int5: もしその比例税率はアクセス出来るとしたら「自認する一方で定義し直さない」ということは成り立つ; fact16 & fact17 -> int6: その他覚的検査はアクセス出来る; fact11 & int6 -> int7: その比例税率はアクセス出来る; int5 & int7 -> int8: その比例税率は自認するがそれは定義し直さない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「この超音波断層法は明治元年である」ということは本当である
fact22 -> int10: その比例税率がアクセス出来ないとすれば定義し直すししかも点灸する;
$facts$ = fact1: もし仮になんらかのものがアクセス出来るならそれは自認する一方で定義し直さない fact2: もし仮にあの人事政策は定義し直さないとしたら「その比例税率は自認するが定義し直さない」ということは成り立たない fact3: もしも「何かは定義し直す」ということは成り立つとするとあの人事政策は明治元年であるかもしくは定義し直す fact4: その熟練者がアクセス出来ないけど如何わしいならばその他覚的検査はアクセス出来る fact5: もしなにがしかのものが動かし続ければそれは過ごし易いけど香しかない fact6: その出会い行動は締め始めるということはない fact7: もし仮にその熟練者が飛翔するということはないならばそれは自認しないしそれは如何わしくない fact8: もし仮になにかはアクセス出来ないならばそれは定義し直すし点灸する fact9: もしも「「定義し直すしさらに点灸する」ということは誤りな」ものがあるとしたらこの超音波断層法はアクセス出来る fact10: もしもこの超音波断層法が明治元年であるししかもそれが点灸するとするとあの人事政策は定義し直すということはない fact11: もし仮にその他覚的検査がアクセス出来るとしたらその比例税率はアクセス出来る fact12: 「「「「山深いし疎ましい」ということは真実である」ということは成り立たない」物はある」ということは成り立つならこの超音波断層法は点灸する fact13: もし仮に「自認しない」ものがあるとすればあの他覚的検査はアクセス出来るし御固い fact14: 仮にその他覚的検査がアクセス出来るしおまけにそれが御固いならその比例税率はアクセス出来るということはない fact15: 「「山深いし疎ましい」ということは間違っている」ものはある fact16: もしもその熟練者がアクセス出来なくて如何わしいということはないならばその他覚的検査はアクセス出来る fact17: その熟練者はアクセス出来ないし如何わしくない fact18: もし仮にその他覚的検査は自認しないとすれば「その比例税率はアクセス出来るがしかし自認しない」ということは嘘である fact19: その他覚的検査は自認しないなら「その熟練者はアクセス出来るけど自認しない」ということは確かでない fact20: もしあの人事政策が明治元年であるとしたらこの超音波断層法は明治元年だ fact21: あの人事政策は疎ましい ; $hypothesis$ = この超音波断層法は明治元年である ; $proof$ = 
fact15 & fact12 -> int1: この超音波断層法は点灸する; void -> assump1: 以下のように仮定する。この超音波断層法は明治元年である; int1 & assump1 -> int2: この超音波断層法は明治元年でまた点灸する; int2 & fact10 -> int3: あの人事政策は定義し直さない; int3 & fact2 -> int4: 「その比例税率は自認するけど定義し直さない」ということは誤っている; fact1 -> int5: もしその比例税率はアクセス出来るとしたら「自認する一方で定義し直さない」ということは成り立つ; fact16 & fact17 -> int6: その他覚的検査はアクセス出来る; fact11 & int6 -> int7: その比例税率はアクセス出来る; int5 & int7 -> int8: その比例税率は自認するがそれは定義し直さない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものがアクセス出来るならそれは自認する一方で定義し直さない
事実2: もし仮にあの人事政策は定義し直さないとしたら「その比例税率は自認するが定義し直さない」ということは成り立たない
事実3: もしも「何かは定義し直す」ということは成り立つとするとあの人事政策は明治元年であるかもしくは定義し直す
事実4: その熟練者がアクセス出来ないけど如何わしいならばその他覚的検査はアクセス出来る
事実5: もしなにがしかのものが動かし続ければそれは過ごし易いけど香しかない
事実6: その出会い行動は締め始めるということはない
事実7: もし仮にその熟練者が飛翔するということはないならばそれは自認しないしそれは如何わしくない
事実8: もし仮になにかはアクセス出来ないならばそれは定義し直すし点灸する
事実9: もしも「「定義し直すしさらに点灸する」ということは誤りな」ものがあるとしたらこの超音波断層法はアクセス出来る
事実10: もしもこの超音波断層法が明治元年であるししかもそれが点灸するとするとあの人事政策は定義し直すということはない
事実11: もし仮にその他覚的検査がアクセス出来るとしたらその比例税率はアクセス出来る
事実12: 「「「「山深いし疎ましい」ということは真実である」ということは成り立たない」物はある」ということは成り立つならこの超音波断層法は点灸する
事実13: もし仮に「自認しない」ものがあるとすればあの他覚的検査はアクセス出来るし御固い
事実14: 仮にその他覚的検査がアクセス出来るしおまけにそれが御固いならその比例税率はアクセス出来るということはない
事実15: 「「山深いし疎ましい」ということは間違っている」ものはある
事実16: もしもその熟練者がアクセス出来なくて如何わしいということはないならばその他覚的検査はアクセス出来る
事実17: その熟練者はアクセス出来ないし如何わしくない
事実18: もし仮にその他覚的検査は自認しないとすれば「その比例税率はアクセス出来るがしかし自認しない」ということは嘘である
事実19: その他覚的検査は自認しないなら「その熟練者はアクセス出来るけど自認しない」ということは確かでない
事実20: もしあの人事政策が明治元年であるとしたらこの超音波断層法は明治元年だ
事実21: あの人事政策は疎ましい

仮説: この超音波断層法は明治元年である
1. 事実15と事実12から、推論1: "この超音波断層法は点灸する"が導かれる
2. 仮定1: 以下のように仮定する。この超音波断層法は明治元年である
3. 推論1と仮定1から、推論2: "この超音波断層法は明治元年でまた点灸する"が導かれる
4. 推論2と事実10から、推論3: "あの人事政策は定義し直さない"が導かれる
5. 推論3と事実2から、推論4: "「その比例税率は自認するけど定義し直さない」ということは誤っている"が導かれる
6. 事実1から、推論5: "もしその比例税率はアクセス出来るとしたら「自認する一方で定義し直さない」ということは成り立つ"が導かれる
7. 事実16と事実17から、推論6: "その他覚的検査はアクセス出来る"が導かれる
8. 事実11と推論6から、推論7: "その比例税率はアクセス出来る"が導かれる
9. 推論5と推論7から、推論8: "その比例税率は自認するがそれは定義し直さない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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