「「仮に「刷りだということはないしコンピュータ・ソフトウェアである」ということは間違っていれば割り出す」物はある」ということは偽である
fact1: 「仮に刷りであるとすると割り出す」物はある fact2: 「あの中華粽は刷りであるということはないけれどコンピュータ・ソフトウェアである」ということは誤っているなら割り出す fact3: 「その権利は成り難くないけれど割り出す」ということは誤りだとすればそれは正しい fact4: もし仮に「なにがしかの物は突き動かすということはないが周辺視だ」ということは成り立たないとするとそれは哀れっぽい fact5: 「もしコンピュータ・ソフトウェアでないなら割り出す」物はある fact6: もし「あの中華粽は刷りでおまけにコンピュータ・ソフトウェアである」ということは嘘ならば割り出す fact7: 仮にあの中華粽はコンピュータ・ソフトウェアでないなら割り出す fact8: もし仮にあの中華粽は刷りでないがコンピュータ・ソフトウェアであるとするとそれは割り出す fact9: 「もしも「「蓄積され易いしさらに送れる」ということは本当だ」ということは偽であるとしたら仮定する」ものはある
fact2 -> hypothesis;
「もし仮に「突き動かすということはないしさらに周辺視だ」ということは誤りならば哀れっぽい」ものはある
fact10 -> int1: もし「あの狭小は突き動かさないが周辺視だ」ということは間違いならそれは哀れっぽい; int1 -> hypothesis;
$facts$ = fact1: 「仮に刷りであるとすると割り出す」物はある fact2: 「あの中華粽は刷りであるということはないけれどコンピュータ・ソフトウェアである」ということは誤っているなら割り出す fact3: 「その権利は成り難くないけれど割り出す」ということは誤りだとすればそれは正しい fact4: もし仮に「なにがしかの物は突き動かすということはないが周辺視だ」ということは成り立たないとするとそれは哀れっぽい fact5: 「もしコンピュータ・ソフトウェアでないなら割り出す」物はある fact6: もし「あの中華粽は刷りでおまけにコンピュータ・ソフトウェアである」ということは嘘ならば割り出す fact7: 仮にあの中華粽はコンピュータ・ソフトウェアでないなら割り出す fact8: もし仮にあの中華粽は刷りでないがコンピュータ・ソフトウェアであるとするとそれは割り出す fact9: 「もしも「「蓄積され易いしさらに送れる」ということは本当だ」ということは偽であるとしたら仮定する」ものはある ; $hypothesis$ = 「「仮に「刷りだということはないしコンピュータ・ソフトウェアである」ということは間違っていれば割り出す」物はある」ということは偽である ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「仮に刷りであるとすると割り出す」物はある
事実2: 「あの中華粽は刷りであるということはないけれどコンピュータ・ソフトウェアである」ということは誤っているなら割り出す
事実3: 「その権利は成り難くないけれど割り出す」ということは誤りだとすればそれは正しい
事実4: もし仮に「なにがしかの物は突き動かすということはないが周辺視だ」ということは成り立たないとするとそれは哀れっぽい
事実5: 「もしコンピュータ・ソフトウェアでないなら割り出す」物はある
事実6: もし「あの中華粽は刷りでおまけにコンピュータ・ソフトウェアである」ということは嘘ならば割り出す
事実7: 仮にあの中華粽はコンピュータ・ソフトウェアでないなら割り出す
事実8: もし仮にあの中華粽は刷りでないがコンピュータ・ソフトウェアであるとするとそれは割り出す
事実9: 「もしも「「蓄積され易いしさらに送れる」ということは本当だ」ということは偽であるとしたら仮定する」ものはある

仮説: 「「仮に「刷りだということはないしコンピュータ・ソフトウェアである」ということは間違っていれば割り出す」物はある」ということは偽である
1. 事実2から、仮説が否定される

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