「「考察すがしかし著しかない」物はある」ということは偽である
fact1: 「何らかのものは堕しなくてそれに貫通すらない」ということは成り立たないとしたら著しかない fact2: もしも「「プロデュースする」ということは真実である」ものはあるなら「この芸術映画は堕しなくておまけに貫通すということはない」ということは誤りである fact3: もしも「何かはプロデュースしない一方で貫通す」ということは間違っているとすれば貫通すらない fact4: この胸腔内圧は著しかない fact5: とあるものは考察す fact6: あるものはプロデュースする fact7: この芸術映画は著しかないとすると「この胸腔内圧は考察すが著しかない」ということは成り立つ fact8: もしもこの芸術映画が著しかないとすればあの胸腔内圧は著しかない
fact6 & fact2 -> int1: 「この芸術映画は堕しないし貫通すらない」ということは誤りだ; fact1 -> int2: 仮に「この芸術映画は堕しないしおまけに貫通すらない」ということは成り立たないならそれは著しかない; int1 & int2 -> int3: この芸術映画は著しかない; int3 & fact7 -> int4: この胸腔内圧は考察すがそれは著しかない; int4 -> hypothesis;
「その家事労働は貫通すらない」ということは成り立つ
fact9 -> int5: もしも「その家事労働はプロデュースしないけど貫通す」ということは誤りであるとすればそれは貫通すらない;
$facts$ = fact1: 「何らかのものは堕しなくてそれに貫通すらない」ということは成り立たないとしたら著しかない fact2: もしも「「プロデュースする」ということは真実である」ものはあるなら「この芸術映画は堕しなくておまけに貫通すということはない」ということは誤りである fact3: もしも「何かはプロデュースしない一方で貫通す」ということは間違っているとすれば貫通すらない fact4: この胸腔内圧は著しかない fact5: とあるものは考察す fact6: あるものはプロデュースする fact7: この芸術映画は著しかないとすると「この胸腔内圧は考察すが著しかない」ということは成り立つ fact8: もしもこの芸術映画が著しかないとすればあの胸腔内圧は著しかない ; $hypothesis$ = 「「考察すがしかし著しかない」物はある」ということは偽である ; $proof$ = 
fact6 & fact2 -> int1: 「この芸術映画は堕しないし貫通すらない」ということは誤りだ; fact1 -> int2: 仮に「この芸術映画は堕しないしおまけに貫通すらない」ということは成り立たないならそれは著しかない; int1 & int2 -> int3: この芸術映画は著しかない; int3 & fact7 -> int4: この胸腔内圧は考察すがそれは著しかない; int4 -> hypothesis; __DISPROVED__
事実1: 「何らかのものは堕しなくてそれに貫通すらない」ということは成り立たないとしたら著しかない
事実2: もしも「「プロデュースする」ということは真実である」ものはあるなら「この芸術映画は堕しなくておまけに貫通すということはない」ということは誤りである
事実3: もしも「何かはプロデュースしない一方で貫通す」ということは間違っているとすれば貫通すらない
事実4: この胸腔内圧は著しかない
事実5: とあるものは考察す
事実6: あるものはプロデュースする
事実7: この芸術映画は著しかないとすると「この胸腔内圧は考察すが著しかない」ということは成り立つ
事実8: もしもこの芸術映画が著しかないとすればあの胸腔内圧は著しかない

仮説: 「「考察すがしかし著しかない」物はある」ということは偽である
1. 事実6と事実2から、推論1: "「この芸術映画は堕しないし貫通すらない」ということは誤りだ"が導かれる
2. 事実1から、推論2: "仮に「この芸術映画は堕しないしおまけに貫通すらない」ということは成り立たないならそれは著しかない"が導かれる
3. 推論1と推論2から、推論3: "この芸術映画は著しかない"が導かれる
4. 推論3と事実7から、推論4: "この胸腔内圧は考察すがそれは著しかない"が導かれる
5. 推論4から、仮説が否定される

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