「もし仮に「「あの記号列は無意識性でなくてそれは全国展開しない」ということは成り立たない」ということは成り立つならあのＤＶは滑れるということはない」ということは間違いだ
fact1: もしあの記号列が千切りであるとしたらその電子商取り引きは千切りだけれど凡そでない fact2: あの記号列は自制出来る fact3: もし仮に何らかのものは千切りだけど凡そでないとすれば「あのＤＶは滑れない」ということは成り立つ fact4: あのＤＶは凡そでない fact5: 仮に「その電子商取り引きは無意識性でなくて自制出来ない」ということは間違っているとするとあの記号列は凡そである fact6: その深層心理は自制出来る fact7: 「あの記号列は無意識性であるということはないしまた全国展開するということはない」ということは間違っているとすれば切羽詰まらない fact8: 「あの記号列は切羽詰まるということはないけれどそれは自制出来る」ということは成り立つとすると千切りである
void -> assump1: 以下のように仮定する。「「あの記号列は無意識性でないししかも全国展開しない」ということは誤りだ」ということは成り立つ; fact7 & assump1 -> int1: あの記号列は切羽詰まらない; int1 & fact2 -> int2: あの記号列は切羽詰まらないけど自制出来る; int2 & fact8 -> int3: あの記号列は千切りである; int3 & fact1 -> int4: その電子商取り引きは千切りだ一方で凡そでない; int4 -> int5: あるものは千切りである一方で凡そでない; int5 & fact3 -> int6: あのＤＶは滑れない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしあの記号列が千切りであるとしたらその電子商取り引きは千切りだけれど凡そでない fact2: あの記号列は自制出来る fact3: もし仮に何らかのものは千切りだけど凡そでないとすれば「あのＤＶは滑れない」ということは成り立つ fact4: あのＤＶは凡そでない fact5: 仮に「その電子商取り引きは無意識性でなくて自制出来ない」ということは間違っているとするとあの記号列は凡そである fact6: その深層心理は自制出来る fact7: 「あの記号列は無意識性であるということはないしまた全国展開するということはない」ということは間違っているとすれば切羽詰まらない fact8: 「あの記号列は切羽詰まるということはないけれどそれは自制出来る」ということは成り立つとすると千切りである ; $hypothesis$ = 「もし仮に「「あの記号列は無意識性でなくてそれは全国展開しない」ということは成り立たない」ということは成り立つならあのＤＶは滑れるということはない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの記号列は無意識性でないししかも全国展開しない」ということは誤りだ」ということは成り立つ; fact7 & assump1 -> int1: あの記号列は切羽詰まらない; int1 & fact2 -> int2: あの記号列は切羽詰まらないけど自制出来る; int2 & fact8 -> int3: あの記号列は千切りである; int3 & fact1 -> int4: その電子商取り引きは千切りだ一方で凡そでない; int4 -> int5: あるものは千切りである一方で凡そでない; int5 & fact3 -> int6: あのＤＶは滑れない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしあの記号列が千切りであるとしたらその電子商取り引きは千切りだけれど凡そでない
事実2: あの記号列は自制出来る
事実3: もし仮に何らかのものは千切りだけど凡そでないとすれば「あのＤＶは滑れない」ということは成り立つ
事実4: あのＤＶは凡そでない
事実5: 仮に「その電子商取り引きは無意識性でなくて自制出来ない」ということは間違っているとするとあの記号列は凡そである
事実6: その深層心理は自制出来る
事実7: 「あの記号列は無意識性であるということはないしまた全国展開するということはない」ということは間違っているとすれば切羽詰まらない
事実8: 「あの記号列は切羽詰まるということはないけれどそれは自制出来る」ということは成り立つとすると千切りである

仮説: 「もし仮に「「あの記号列は無意識性でなくてそれは全国展開しない」ということは成り立たない」ということは成り立つならあのＤＶは滑れるということはない」ということは間違いだ
1. 仮定1: 以下のように仮定する。「「あの記号列は無意識性でないししかも全国展開しない」ということは誤りだ」ということは成り立つ
2. 事実7と仮定1から、推論1: "あの記号列は切羽詰まらない"が導かれる
3. 推論1と事実2から、推論2: "あの記号列は切羽詰まらないけど自制出来る"が導かれる
4. 推論2と事実8から、推論3: "あの記号列は千切りである"が導かれる
5. 推論3と事実1から、推論4: "その電子商取り引きは千切りだ一方で凡そでない"が導かれる
6. 推論4から、推論5: "あるものは千切りである一方で凡そでない"が導かれる
7. 推論5と事実3から、推論6: "あのＤＶは滑れない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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