「「「下唇だけど性虐待でない」ということは成り立たないなら無くない」物はある」ということは成り立たない
fact1: 「もし仮に「押さえ為さるし結び付く」ということは誤りであるならば行き難いということはない」ものはある fact2: 「もし性虐待だとすると無くない」物はある fact3: 「もし仮に覗けるし体現しないとしたら問題化しない」物はある fact4: もし仮に「この逃走は下唇だ一方で性虐待でない」ということは成り立たないとすれば「それは無くない」ということは正しい fact5: この逃走は下唇でないならばそれは無くない fact6: 仮に「なんらかのものは即興劇だ一方で重苦しくない」ということは嘘であるとすれば作り給わない fact7: もしこの逃走は下唇だ一方で性虐待でないとすれば無くない fact8: もしも「この逃走は下唇だし性虐待だ」ということは本当でないとすればそれは無くない
fact4 -> hypothesis;
「もし仮に「即興劇であるけれど重苦しくない」ということは間違いであるとすると「作り給う」ということは偽な」ものはある
fact9 -> int1: 「このミルク色は即興劇だけれどそれは重苦しくない」ということは偽であるとするとそれは作り給うということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「押さえ為さるし結び付く」ということは誤りであるならば行き難いということはない」ものはある fact2: 「もし性虐待だとすると無くない」物はある fact3: 「もし仮に覗けるし体現しないとしたら問題化しない」物はある fact4: もし仮に「この逃走は下唇だ一方で性虐待でない」ということは成り立たないとすれば「それは無くない」ということは正しい fact5: この逃走は下唇でないならばそれは無くない fact6: 仮に「なんらかのものは即興劇だ一方で重苦しくない」ということは嘘であるとすれば作り給わない fact7: もしこの逃走は下唇だ一方で性虐待でないとすれば無くない fact8: もしも「この逃走は下唇だし性虐待だ」ということは本当でないとすればそれは無くない ; $hypothesis$ = 「「「下唇だけど性虐待でない」ということは成り立たないなら無くない」物はある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「押さえ為さるし結び付く」ということは誤りであるならば行き難いということはない」ものはある
事実2: 「もし性虐待だとすると無くない」物はある
事実3: 「もし仮に覗けるし体現しないとしたら問題化しない」物はある
事実4: もし仮に「この逃走は下唇だ一方で性虐待でない」ということは成り立たないとすれば「それは無くない」ということは正しい
事実5: この逃走は下唇でないならばそれは無くない
事実6: 仮に「なんらかのものは即興劇だ一方で重苦しくない」ということは嘘であるとすれば作り給わない
事実7: もしこの逃走は下唇だ一方で性虐待でないとすれば無くない
事実8: もしも「この逃走は下唇だし性虐待だ」ということは本当でないとすればそれは無くない

仮説: 「「「下唇だけど性虐待でない」ということは成り立たないなら無くない」物はある」ということは成り立たない
1. 事実4から、仮説が否定される

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