その御値段は特別視しない
fact1: この在処が胸部であるけれど確定前でないならこの事物・現象は確定前でない fact2: この在処は胸部だけれど嫌味っぽくない fact3: 仮になんらかのものは嫌味っぽいならば「胸部であるしそれに確定前であるということはない」ということは成り立つ fact4: もし仮に「何らかの物は確定前でないがなはる」ということは間違いだとすると「それは特別視する」ということは事実だ fact5: もしも「この事物・現象はなはる」ということは成り立つならばあの在処は発表する fact6: もしなんらかのものがなはらないけどそれが発表するなら特別視しない fact7: この事物・現象が確定前でないなら特別視しないしそれは発表する fact8: 何らかのものは国内通貨でない fact9: 仮にこの在処は胸部だがしかし嫌味っぽいということはないとしたらそれは発表しない fact10: もし仮に「何らかのものは充実・強化であるし国内通貨である」ということは成り立つということはないとすると充実・強化でない fact11: もし仮にこの事物・現象はなはらないとしたら「その御値段は確定前でないがしかしなはる」ということは誤りである fact12: もしなんらかのものはなはらないとすれば「それは種類毎でない一方で横雲である」ということは成り立たない fact13: 「もしもなにがしかの物が特別視するということはないがしかし発表するとしたらこの社会的次元はなはらない」ということは本当である fact14: 仮にとある物は充実・強化でないとしたらそれはＮＡＤで嫌味っぽい fact15: 「なんらかの物はなはるしその上胸部である」ということは成り立たないとするとそれはなはらない
void -> assump1: 以下のように仮定する。この事物・現象はなはる; fact5 & assump1 -> int1: この在処は発表する; fact9 & fact2 -> int2: 「この在処は発表しない」ということは間違いだということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この事物・現象はなはらない; int4 & fact11 -> int5: 「その御値段は確定前であるということはないけどなはる」ということは間違っている; fact4 -> int6: もし仮に「その御値段は確定前でないけれどなはる」ということは成り立たないとしたら特別視する; int5 & int6 -> hypothesis;
その御値段は特別視しない
fact16 -> int7: もしもその御値段はなはらないけれど発表するとするとそれは特別視しない; fact17 -> int8: もしも「「その御値段がなはるしその上胸部だ」ということは成り立つ」ということは間違いだとすればそれはなはらない;
$facts$ = fact1: この在処が胸部であるけれど確定前でないならこの事物・現象は確定前でない fact2: この在処は胸部だけれど嫌味っぽくない fact3: 仮になんらかのものは嫌味っぽいならば「胸部であるしそれに確定前であるということはない」ということは成り立つ fact4: もし仮に「何らかの物は確定前でないがなはる」ということは間違いだとすると「それは特別視する」ということは事実だ fact5: もしも「この事物・現象はなはる」ということは成り立つならばあの在処は発表する fact6: もしなんらかのものがなはらないけどそれが発表するなら特別視しない fact7: この事物・現象が確定前でないなら特別視しないしそれは発表する fact8: 何らかのものは国内通貨でない fact9: 仮にこの在処は胸部だがしかし嫌味っぽいということはないとしたらそれは発表しない fact10: もし仮に「何らかのものは充実・強化であるし国内通貨である」ということは成り立つということはないとすると充実・強化でない fact11: もし仮にこの事物・現象はなはらないとしたら「その御値段は確定前でないがしかしなはる」ということは誤りである fact12: もしなんらかのものはなはらないとすれば「それは種類毎でない一方で横雲である」ということは成り立たない fact13: 「もしもなにがしかの物が特別視するということはないがしかし発表するとしたらこの社会的次元はなはらない」ということは本当である fact14: 仮にとある物は充実・強化でないとしたらそれはＮＡＤで嫌味っぽい fact15: 「なんらかの物はなはるしその上胸部である」ということは成り立たないとするとそれはなはらない ; $hypothesis$ = その御値段は特別視しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この事物・現象はなはる; fact5 & assump1 -> int1: この在処は発表する; fact9 & fact2 -> int2: 「この在処は発表しない」ということは間違いだということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この事物・現象はなはらない; int4 & fact11 -> int5: 「その御値段は確定前であるということはないけどなはる」ということは間違っている; fact4 -> int6: もし仮に「その御値段は確定前でないけれどなはる」ということは成り立たないとしたら特別視する; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この在処が胸部であるけれど確定前でないならこの事物・現象は確定前でない
事実2: この在処は胸部だけれど嫌味っぽくない
事実3: 仮になんらかのものは嫌味っぽいならば「胸部であるしそれに確定前であるということはない」ということは成り立つ
事実4: もし仮に「何らかの物は確定前でないがなはる」ということは間違いだとすると「それは特別視する」ということは事実だ
事実5: もしも「この事物・現象はなはる」ということは成り立つならばあの在処は発表する
事実6: もしなんらかのものがなはらないけどそれが発表するなら特別視しない
事実7: この事物・現象が確定前でないなら特別視しないしそれは発表する
事実8: 何らかのものは国内通貨でない
事実9: 仮にこの在処は胸部だがしかし嫌味っぽいということはないとしたらそれは発表しない
事実10: もし仮に「何らかのものは充実・強化であるし国内通貨である」ということは成り立つということはないとすると充実・強化でない
事実11: もし仮にこの事物・現象はなはらないとしたら「その御値段は確定前でないがしかしなはる」ということは誤りである
事実12: もしなんらかのものはなはらないとすれば「それは種類毎でない一方で横雲である」ということは成り立たない
事実13: 「もしもなにがしかの物が特別視するということはないがしかし発表するとしたらこの社会的次元はなはらない」ということは本当である
事実14: 仮にとある物は充実・強化でないとしたらそれはＮＡＤで嫌味っぽい
事実15: 「なんらかの物はなはるしその上胸部である」ということは成り立たないとするとそれはなはらない

仮説: その御値段は特別視しない
1. 仮定1: 以下のように仮定する。この事物・現象はなはる
2. 事実5と仮定1から、推論1: "この在処は発表する"が導かれる
3. 事実9と事実2から、推論2: "「この在処は発表しない」ということは間違いだということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この事物・現象はなはらない"が導かれる
6. 推論4と事実11から、推論5: "「その御値段は確定前であるということはないけどなはる」ということは間違っている"が導かれる
7. 事実4から、推論6: "もし仮に「その御値段は確定前でないけれどなはる」ということは成り立たないとしたら特別視する"が導かれる
8. 推論5と推論6から、仮説が否定される

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