「ある物は陰気臭いけれどそれはエクスポートしない」ということは間違っている
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: あるものは陰気臭いしその上エクスポートする fact26: 「陰気臭い」ものはある fact27: 「手形金額は陰気臭い」ということは成り立つ
fact21 & fact17 -> int1: その特許侵害者は手形金額だ; fact27 -> int2: もしもその特許侵害者が手形金額だとするとそれは陰気臭い; int1 & int2 -> int3: その特許侵害者は陰気臭い; fact22 -> int4: 仮に「その特許侵害者は通り難くない一方でそれは胡散臭い」ということは成り立たないならばそれはエクスポートしない; fact19 & fact5 -> int5: 「その特許侵害者は通り難くない一方で胡散臭い」ということは間違っている; int4 & int5 -> int6: その特許侵害者はエクスポートしない; int3 & int6 -> int7: その特許侵害者は陰気臭いがしかしエクスポートしない; int7 -> hypothesis;
$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: あるものは陰気臭いしその上エクスポートする fact26: 「陰気臭い」ものはある fact27: 「手形金額は陰気臭い」ということは成り立つ ; $hypothesis$ = 「ある物は陰気臭いけれどそれはエクスポートしない」ということは間違っている ; $proof$ = 
fact21 & fact17 -> int1: その特許侵害者は手形金額だ; fact27 -> int2: もしもその特許侵害者が手形金額だとするとそれは陰気臭い; int1 & int2 -> int3: その特許侵害者は陰気臭い; fact22 -> int4: 仮に「その特許侵害者は通り難くない一方でそれは胡散臭い」ということは成り立たないならばそれはエクスポートしない; fact19 & fact5 -> int5: 「その特許侵害者は通り難くない一方で胡散臭い」ということは間違っている; int4 & int5 -> int6: その特許侵害者はエクスポートしない; int3 & 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: あるものは陰気臭いしその上エクスポートする
事実26: 「陰気臭い」ものはある
事実27: 「手形金額は陰気臭い」ということは成り立つ

仮説: 「ある物は陰気臭いけれどそれはエクスポートしない」ということは間違っている
1. 事実21と事実17から、推論1: "その特許侵害者は手形金額だ"が導かれる
2. 事実27から、推論2: "もしもその特許侵害者が手形金額だとするとそれは陰気臭い"が導かれる
3. 推論1と推論2から、推論3: "その特許侵害者は陰気臭い"が導かれる
4. 事実22から、推論4: "仮に「その特許侵害者は通り難くない一方でそれは胡散臭い」ということは成り立たないならばそれはエクスポートしない"が導かれる
5. 事実19と事実5から、推論5: "「その特許侵害者は通り難くない一方で胡散臭い」ということは間違っている"が導かれる
6. 推論4と推論5から、推論6: "その特許侵害者はエクスポートしない"が導かれる
7. 推論3と推論6から、推論7: "その特許侵害者は陰気臭いがしかしエクスポートしない"が導かれる
8. 推論7から、仮説が否定される

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