その俺自身はもぐもぐする
fact1: もしこの経理部長が乾き易いとするとこのローマ字綴りは乾き易い fact2: 「この経理部長は赤っぽい」ということは成り立つ fact3: この経理部長は黒っぽい fact4: もしとあるものがもぐもぐすれば黒っぽいということはないけれど赤っぽい fact5: もし何らかのものは約三十万人であるならそれはもぐもぐする fact6: もしその俺自身は乾き易いならば「この経理部長は乾き易い」ということは真実だ fact7: この経理部長が黒っぽいしその上赤っぽいならその俺自身はもぐもぐするということはない fact8: もしもなにかは乾き易いとすれば約三十万人だ
fact3 & fact2 -> int1: この経理部長は黒っぽくてそれに赤っぽい; int1 & fact7 -> hypothesis;
このローマ字綴りは黒っぽくない
fact12 -> int2: もしもこのローマ字綴りがもぐもぐするなら黒っぽくないけど赤っぽい; fact11 -> int3: 仮にこのローマ字綴りが約三十万人ならそれはもぐもぐする; fact10 -> int4: もし仮にこのローマ字綴りが乾き易いとするとそれは約三十万人だ;
$facts$ = fact1: もしこの経理部長が乾き易いとするとこのローマ字綴りは乾き易い fact2: 「この経理部長は赤っぽい」ということは成り立つ fact3: この経理部長は黒っぽい fact4: もしとあるものがもぐもぐすれば黒っぽいということはないけれど赤っぽい fact5: もし何らかのものは約三十万人であるならそれはもぐもぐする fact6: もしその俺自身は乾き易いならば「この経理部長は乾き易い」ということは真実だ fact7: この経理部長が黒っぽいしその上赤っぽいならその俺自身はもぐもぐするということはない fact8: もしもなにかは乾き易いとすれば約三十万人だ ; $hypothesis$ = その俺自身はもぐもぐする ; $proof$ = 
fact3 & fact2 -> int1: この経理部長は黒っぽくてそれに赤っぽい; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしこの経理部長が乾き易いとするとこのローマ字綴りは乾き易い
事実2: 「この経理部長は赤っぽい」ということは成り立つ
事実3: この経理部長は黒っぽい
事実4: もしとあるものがもぐもぐすれば黒っぽいということはないけれど赤っぽい
事実5: もし何らかのものは約三十万人であるならそれはもぐもぐする
事実6: もしその俺自身は乾き易いならば「この経理部長は乾き易い」ということは真実だ
事実7: この経理部長が黒っぽいしその上赤っぽいならその俺自身はもぐもぐするということはない
事実8: もしもなにかは乾き易いとすれば約三十万人だ

仮説: その俺自身はもぐもぐする
1. 事実3と事実2から、推論1: "この経理部長は黒っぽくてそれに赤っぽい"が導かれる
2. 推論1と事実7から、仮説が否定される

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