「「「リストアップするがさり気無くない」ということは成り立たない」ものはある」ということは事実と異なる
fact1: なんらかのものは囃し立てない fact2: 「その翁舞は利用され易いか囃し立てるかもしくはどちらもだ」ということは偽だ fact3: この緯度は利用され易い fact4: 仮に「その翁舞は利用され易いかまたは囃し立てる」ということは成り立つということはないとしたら培養細胞でない fact5: あの作品目録は地質学上でない fact6: 「「囃し立てるが培養細胞でない」ということは本当でない」物はある fact7: その生産は利用され易くない fact8: 「曖昧化でない」物はある fact9: もし仮にその翁舞が渉外課長だとしたらそれは事足りる fact10: もし仮に「さり気無くない」ものはあるとすれば「その生産は利用され易くてかつ渉外課長だ」ということは事実と異なる fact11: 「仮に「囃し立てない」ものはあるとしたら「その生産は培養細胞であるしその上潔い」ということは成り立たない」ということは確かである fact12: もしもその翁舞は気難しくないならば「あの処方薬剤は土製煮炊き具であるけれど知行しない」ということは事実と異なる fact13: 仮にある物は培養細胞でないなら「その生産は気難しいけどそれは渉外課長でない」ということは成り立たない fact14: 「「「リストアップするし更にさり気無い」ということは事実だ」ということは成り立たない」ものはある fact15: 「その生産は囃し立てるがしかし渉外課長だということはない」ということは偽だ fact16: もしもその生産が歌舞伎っぽいとするとそれは渉外課長である fact17: もし仮に「「リストアップしないしかつ渉外課長である」ということは成り立たない」ものがあるとするとその翁舞は渉外課長でない fact18: もしも何かは培養細胞なら「それは気難しくてかつ囃し立てる」ということは真実でない fact19: 「その生産はリストアップするしまたさり気無い」ということは誤りである fact20: 仮に「なんらかの物は気難しいが渉外課長であるということはない」ということは成り立たないとすればそれは潔い fact21: もしもあるものは潔いならば「それはリストアップするしおまけにさり気無くない」ということは間違いである fact22: 「もしとある物はさり気無いとすれば「それは利用され易いが潔くない」ということは成り立たない」ということは確かだ fact23: 何かはリストアップするがさり気無いということはない fact24: もしとある物は潔くないとしたら「その生産はリストアップしないけれど渉外課長である」ということは間違いである fact25: あのＨＩＶ検査は潔くない
fact4 & fact2 -> int1: その翁舞は培養細胞でない; int1 -> int2: 「培養細胞でない」ものはある; int2 & fact13 -> int3: 「その生産は気難しいけど渉外課長だということはない」ということは間違っている; fact20 -> int4: 「その生産は気難しいけど渉外課長でない」ということは成り立たないなら潔い; int3 & int4 -> int5: その生産は潔い; fact21 -> int6: もし「その生産は潔い」ということは成り立つとしたら「リストアップするしそれはさり気無くない」ということは偽だ; int5 & int6 -> int7: 「その生産はリストアップするけれどそれはさり気無くない」ということは成り立たない; int7 -> hypothesis;
「あの処方薬剤は土製煮炊き具だ一方で知行しない」ということは間違っている
fact28 -> int8: 「潔くない物はある」ということは本当だ; int8 & fact26 -> int9: 「その生産はリストアップしないがしかしそれは渉外課長だ」ということは嘘だ; int9 -> int10: 「「リストアップするということはない一方で渉外課長だ」ということは成り立たない」物はある; int10 & fact29 -> int11: その翁舞は渉外課長でない;
$facts$ = fact1: なんらかのものは囃し立てない fact2: 「その翁舞は利用され易いか囃し立てるかもしくはどちらもだ」ということは偽だ fact3: この緯度は利用され易い fact4: 仮に「その翁舞は利用され易いかまたは囃し立てる」ということは成り立つということはないとしたら培養細胞でない fact5: あの作品目録は地質学上でない fact6: 「「囃し立てるが培養細胞でない」ということは本当でない」物はある fact7: その生産は利用され易くない fact8: 「曖昧化でない」物はある fact9: もし仮にその翁舞が渉外課長だとしたらそれは事足りる fact10: もし仮に「さり気無くない」ものはあるとすれば「その生産は利用され易くてかつ渉外課長だ」ということは事実と異なる fact11: 「仮に「囃し立てない」ものはあるとしたら「その生産は培養細胞であるしその上潔い」ということは成り立たない」ということは確かである fact12: もしもその翁舞は気難しくないならば「あの処方薬剤は土製煮炊き具であるけれど知行しない」ということは事実と異なる fact13: 仮にある物は培養細胞でないなら「その生産は気難しいけどそれは渉外課長でない」ということは成り立たない fact14: 「「「リストアップするし更にさり気無い」ということは事実だ」ということは成り立たない」ものはある fact15: 「その生産は囃し立てるがしかし渉外課長だということはない」ということは偽だ fact16: もしもその生産が歌舞伎っぽいとするとそれは渉外課長である fact17: もし仮に「「リストアップしないしかつ渉外課長である」ということは成り立たない」ものがあるとするとその翁舞は渉外課長でない fact18: もしも何かは培養細胞なら「それは気難しくてかつ囃し立てる」ということは真実でない fact19: 「その生産はリストアップするしまたさり気無い」ということは誤りである fact20: 仮に「なんらかの物は気難しいが渉外課長であるということはない」ということは成り立たないとすればそれは潔い fact21: もしもあるものは潔いならば「それはリストアップするしおまけにさり気無くない」ということは間違いである fact22: 「もしとある物はさり気無いとすれば「それは利用され易いが潔くない」ということは成り立たない」ということは確かだ fact23: 何かはリストアップするがさり気無いということはない fact24: もしとある物は潔くないとしたら「その生産はリストアップしないけれど渉外課長である」ということは間違いである fact25: あのＨＩＶ検査は潔くない ; $hypothesis$ = 「「「リストアップするがさり気無くない」ということは成り立たない」ものはある」ということは事実と異なる ; $proof$ = 
fact4 & fact2 -> int1: その翁舞は培養細胞でない; int1 -> int2: 「培養細胞でない」ものはある; int2 & fact13 -> int3: 「その生産は気難しいけど渉外課長だということはない」ということは間違っている; fact20 -> int4: 「その生産は気難しいけど渉外課長でない」ということは成り立たないなら潔い; int3 & int4 -> int5: その生産は潔い; fact21 -> int6: もし「その生産は潔い」ということは成り立つとしたら「リストアップするしそれはさり気無くない」ということは偽だ; int5 & int6 -> int7: 「その生産はリストアップするけれどそれはさり気無くない」ということは成り立たない; int7 -> hypothesis; __DISPROVED__
事実1: なんらかのものは囃し立てない
事実2: 「その翁舞は利用され易いか囃し立てるかもしくはどちらもだ」ということは偽だ
事実3: この緯度は利用され易い
事実4: 仮に「その翁舞は利用され易いかまたは囃し立てる」ということは成り立つということはないとしたら培養細胞でない
事実5: あの作品目録は地質学上でない
事実6: 「「囃し立てるが培養細胞でない」ということは本当でない」物はある
事実7: その生産は利用され易くない
事実8: 「曖昧化でない」物はある
事実9: もし仮にその翁舞が渉外課長だとしたらそれは事足りる
事実10: もし仮に「さり気無くない」ものはあるとすれば「その生産は利用され易くてかつ渉外課長だ」ということは事実と異なる
事実11: 「仮に「囃し立てない」ものはあるとしたら「その生産は培養細胞であるしその上潔い」ということは成り立たない」ということは確かである
事実12: もしもその翁舞は気難しくないならば「あの処方薬剤は土製煮炊き具であるけれど知行しない」ということは事実と異なる
事実13: 仮にある物は培養細胞でないなら「その生産は気難しいけどそれは渉外課長でない」ということは成り立たない
事実14: 「「「リストアップするし更にさり気無い」ということは事実だ」ということは成り立たない」ものはある
事実15: 「その生産は囃し立てるがしかし渉外課長だということはない」ということは偽だ
事実16: もしもその生産が歌舞伎っぽいとするとそれは渉外課長である
事実17: もし仮に「「リストアップしないしかつ渉外課長である」ということは成り立たない」ものがあるとするとその翁舞は渉外課長でない
事実18: もしも何かは培養細胞なら「それは気難しくてかつ囃し立てる」ということは真実でない
事実19: 「その生産はリストアップするしまたさり気無い」ということは誤りである
事実20: 仮に「なんらかの物は気難しいが渉外課長であるということはない」ということは成り立たないとすればそれは潔い
事実21: もしもあるものは潔いならば「それはリストアップするしおまけにさり気無くない」ということは間違いである
事実22: 「もしとある物はさり気無いとすれば「それは利用され易いが潔くない」ということは成り立たない」ということは確かだ
事実23: 何かはリストアップするがさり気無いということはない
事実24: もしとある物は潔くないとしたら「その生産はリストアップしないけれど渉外課長である」ということは間違いである
事実25: あのＨＩＶ検査は潔くない

仮説: 「「「リストアップするがさり気無くない」ということは成り立たない」ものはある」ということは事実と異なる
1. 事実4と事実2から、推論1: "その翁舞は培養細胞でない"が導かれる
2. 推論1から、推論2: "「培養細胞でない」ものはある"が導かれる
3. 推論2と事実13から、推論3: "「その生産は気難しいけど渉外課長だということはない」ということは間違っている"が導かれる
4. 事実20から、推論4: "「その生産は気難しいけど渉外課長でない」ということは成り立たないなら潔い"が導かれる
5. 推論3と推論4から、推論5: "その生産は潔い"が導かれる
6. 事実21から、推論6: "もし「その生産は潔い」ということは成り立つとしたら「リストアップするしそれはさり気無くない」ということは偽だ"が導かれる
7. 推論5と推論6から、推論7: "「その生産はリストアップするけれどそれはさり気無くない」ということは成り立たない"が導かれる
8. 推論7から、仮説が否定される

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