「もし仮にあの仕事運アップがワンマンであるけど移動し易いということはないとすればその用務員は集客でない」ということは誤っている
fact1: その用務員は想起出来ない fact2: あの仕事運アップが見損なわないし想起出来ないならその用務員は集客でない fact3: もし仮にあの仕事運アップがワンマンだとすれば見損なわなくてしかも想起出来ない fact4: あの仕事運アップが移動し易いとすると見損なわないしそれは集客でない fact5: もし「その用務員は見損なう」ということは成り立つとするとそれは集客でないし更にワンマンでない fact6: その用務員はあくどくない fact7: 仮にあの仕事運アップが集客だとすればそれは移動し易くない fact8: もし「その用務員は移動し易くないし更に見損なわない」ということは誤りでないならあの仕事運アップは集客であるということはない fact9: あの仕事運アップはしょぼくれる fact10: あの図星は詮無いけどそれは遠心分離しない fact11: 仮にその用務員が想起出来ないしかつ移動し易いということはないとするとあの仕事運アップは集客でない fact12: その用務員はワンマンでない
void -> assump1: 以下のように仮定する。あの仕事運アップはワンマンである一方で移動し易くない; assump1 -> int1: あの仕事運アップはワンマンだ; int1 & fact3 -> int2: あの仕事運アップは見損なわないし更に想起出来ない; int2 & fact2 -> int3: その用務員は集客でない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その用務員は想起出来ない fact2: あの仕事運アップが見損なわないし想起出来ないならその用務員は集客でない fact3: もし仮にあの仕事運アップがワンマンだとすれば見損なわなくてしかも想起出来ない fact4: あの仕事運アップが移動し易いとすると見損なわないしそれは集客でない fact5: もし「その用務員は見損なう」ということは成り立つとするとそれは集客でないし更にワンマンでない fact6: その用務員はあくどくない fact7: 仮にあの仕事運アップが集客だとすればそれは移動し易くない fact8: もし「その用務員は移動し易くないし更に見損なわない」ということは誤りでないならあの仕事運アップは集客であるということはない fact9: あの仕事運アップはしょぼくれる fact10: あの図星は詮無いけどそれは遠心分離しない fact11: 仮にその用務員が想起出来ないしかつ移動し易いということはないとするとあの仕事運アップは集客でない fact12: その用務員はワンマンでない ; $hypothesis$ = 「もし仮にあの仕事運アップがワンマンであるけど移動し易いということはないとすればその用務員は集客でない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの仕事運アップはワンマンである一方で移動し易くない; assump1 -> int1: あの仕事運アップはワンマンだ; int1 & fact3 -> int2: あの仕事運アップは見損なわないし更に想起出来ない; int2 & fact2 -> int3: その用務員は集客でない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その用務員は想起出来ない
事実2: あの仕事運アップが見損なわないし想起出来ないならその用務員は集客でない
事実3: もし仮にあの仕事運アップがワンマンだとすれば見損なわなくてしかも想起出来ない
事実4: あの仕事運アップが移動し易いとすると見損なわないしそれは集客でない
事実5: もし「その用務員は見損なう」ということは成り立つとするとそれは集客でないし更にワンマンでない
事実6: その用務員はあくどくない
事実7: 仮にあの仕事運アップが集客だとすればそれは移動し易くない
事実8: もし「その用務員は移動し易くないし更に見損なわない」ということは誤りでないならあの仕事運アップは集客であるということはない
事実9: あの仕事運アップはしょぼくれる
事実10: あの図星は詮無いけどそれは遠心分離しない
事実11: 仮にその用務員が想起出来ないしかつ移動し易いということはないとするとあの仕事運アップは集客でない
事実12: その用務員はワンマンでない

仮説: 「もし仮にあの仕事運アップがワンマンであるけど移動し易いということはないとすればその用務員は集客でない」ということは誤っている
1. 仮定1: 以下のように仮定する。あの仕事運アップはワンマンである一方で移動し易くない
2. 仮定1から、推論1: "あの仕事運アップはワンマンだ"が導かれる
3. 推論1と事実3から、推論2: "あの仕事運アップは見損なわないし更に想起出来ない"が導かれる
4. 推論2と事実2から、推論3: "その用務員は集客でない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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