「「この失望は手探りするしまたそれは読み取る」ということは成り立たない」ということは誤っていない
fact1: 何らかの物は了知するということはないならば「それは手探りするしそれに読み取る」ということは間違いである fact2: あの入力パルスは読み取る fact3: この失望は役立てないがしかし受け入れられ易いなら手探りする fact4: 仮にその管理方法は場慣れしない一方でだだっ広いとすれば受け入れられ易い fact5: この失望が溶け難いしそれが役立てれば生命保険だ fact6: この失望は読み取る fact7: この失望は役立てないけどそれは受け入れられ易い fact8: この格式は積み重ならないがしかしそれはラフである
fact3 & fact7 -> int1: この失望は手探りする; int1 & fact6 -> hypothesis;
「この失望は手探りするし読み取る」ということは間違っている
fact9 -> int2: この失望は了知しないならば「手探りするしさらに読み取る」ということは成り立たない;
$facts$ = fact1: 何らかの物は了知するということはないならば「それは手探りするしそれに読み取る」ということは間違いである fact2: あの入力パルスは読み取る fact3: この失望は役立てないがしかし受け入れられ易いなら手探りする fact4: 仮にその管理方法は場慣れしない一方でだだっ広いとすれば受け入れられ易い fact5: この失望が溶け難いしそれが役立てれば生命保険だ fact6: この失望は読み取る fact7: この失望は役立てないけどそれは受け入れられ易い fact8: この格式は積み重ならないがしかしそれはラフである ; $hypothesis$ = 「「この失望は手探りするしまたそれは読み取る」ということは成り立たない」ということは誤っていない ; $proof$ = 
fact3 & fact7 -> int1: この失望は手探りする; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 何らかの物は了知するということはないならば「それは手探りするしそれに読み取る」ということは間違いである
事実2: あの入力パルスは読み取る
事実3: この失望は役立てないがしかし受け入れられ易いなら手探りする
事実4: 仮にその管理方法は場慣れしない一方でだだっ広いとすれば受け入れられ易い
事実5: この失望が溶け難いしそれが役立てれば生命保険だ
事実6: この失望は読み取る
事実7: この失望は役立てないけどそれは受け入れられ易い
事実8: この格式は積み重ならないがしかしそれはラフである

仮説: 「「この失望は手探りするしまたそれは読み取る」ということは成り立たない」ということは誤っていない
1. 事実3と事実7から、推論1: "この失望は手探りする"が導かれる
2. 推論1と事実6から、仮説が否定される

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