「「この白血球数は堆いしおまけに達人である」ということは事実だ」ということは嘘だ
fact1: もし仮にこの白血球数は再利用する一方で情報システム部門でないならそれは堆い fact2: この白血球数はくどい fact3: もし仮になにがしかの物は再利用する一方で情報システム部門でないならそれは堆い fact4: 仮にあるものは再利用しなくておまけに情報システム部門でないならそれは堆い fact5: この白血球数は再利用しないしそれは情報システム部門でない fact6: 仮にとあるものは換気機であるとしたら「それは達人だということはなくておまけにくどいということはない」ということは間違いである fact7: もし仮に「なんらかのものは換気機であるということはなくてそれは盛行しない」ということは誤りだとすれば換気機だ fact8: もしある物がくどいとするとそれは達人である
fact4 -> int1: もしもこの白血球数は再利用しないしまた情報システム部門でないとするとそれは堆い; int1 & fact5 -> int2: この白血球数は堆い; fact8 -> int3: もしもこの白血球数がくどいとすればそれは達人である; fact2 & int3 -> int4: この白血球数は達人である; int2 & int4 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; fact8 -> int3: {C}{aa} -> {A}{aa}; fact2 & int3 -> int4: {A}{aa}; int2 & int4 -> hypothesis;
その原則は堆い
fact9 -> int5: もしもその原則は換気機だとすれば「達人であるということはないしそれはくどくない」ということは誤りだ; fact10 -> int6: もし「その原則は換気機でなくてその上盛行しない」ということは嘘であるとしたら換気機だ;
$facts$ = fact1: もし仮にこの白血球数は再利用する一方で情報システム部門でないならそれは堆い fact2: この白血球数はくどい fact3: もし仮になにがしかの物は再利用する一方で情報システム部門でないならそれは堆い fact4: 仮にあるものは再利用しなくておまけに情報システム部門でないならそれは堆い fact5: この白血球数は再利用しないしそれは情報システム部門でない fact6: 仮にとあるものは換気機であるとしたら「それは達人だということはなくておまけにくどいということはない」ということは間違いである fact7: もし仮に「なんらかのものは換気機であるということはなくてそれは盛行しない」ということは誤りだとすれば換気機だ fact8: もしある物がくどいとするとそれは達人である ; $hypothesis$ = 「「この白血球数は堆いしおまけに達人である」ということは事実だ」ということは嘘だ ; $proof$ = 
fact4 -> int1: もしもこの白血球数は再利用しないしまた情報システム部門でないとするとそれは堆い; int1 & fact5 -> int2: この白血球数は堆い; fact8 -> int3: もしもこの白血球数がくどいとすればそれは達人である; fact2 & int3 -> int4: この白血球数は達人である; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの白血球数は再利用する一方で情報システム部門でないならそれは堆い
事実2: この白血球数はくどい
事実3: もし仮になにがしかの物は再利用する一方で情報システム部門でないならそれは堆い
事実4: 仮にあるものは再利用しなくておまけに情報システム部門でないならそれは堆い
事実5: この白血球数は再利用しないしそれは情報システム部門でない
事実6: 仮にとあるものは換気機であるとしたら「それは達人だということはなくておまけにくどいということはない」ということは間違いである
事実7: もし仮に「なんらかのものは換気機であるということはなくてそれは盛行しない」ということは誤りだとすれば換気機だ
事実8: もしある物がくどいとするとそれは達人である

仮説: 「「この白血球数は堆いしおまけに達人である」ということは事実だ」ということは嘘だ
1. 事実4から、推論1: "もしもこの白血球数は再利用しないしまた情報システム部門でないとするとそれは堆い"が導かれる
2. 推論1と事実5から、推論2: "この白血球数は堆い"が導かれる
3. 事実8から、推論3: "もしもこの白血球数がくどいとすればそれは達人である"が導かれる
4. 事実2と推論3から、推論4: "この白血球数は達人である"が導かれる
5. 推論2と推論4から、仮説が否定される

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