あの就任直後は怒りっぽい
fact1: もし仮に「そのウィンドゥーＷは等しないしおまけにそれは区であるということはない」ということは成り立たないとすればこの翌年春は面目無くない fact2: 「そのウィンドゥーＷは等しないしまた区でない」ということは嘘である fact3: もし仮にあの就任直後が面目無いとしたらそれは雨音だ fact4: この翌年春が面目無くないならあの就任直後は面目無いしめぼしい fact5: 仮にあの就任直後は雨音で更に合併し易いとすれば怒りっぽくない fact6: 「あの就任直後は合併し易い」ということは本当だ
fact1 & fact2 -> int1: この翌年春は面目無くない; int1 & fact4 -> int2: あの就任直後は面目無いしかつめぼしい; int2 -> int3: あの就任直後は面目無い; int3 & fact3 -> int4: 「あの就任直後は雨音である」ということは真実である; int4 & fact6 -> int5: あの就任直後は雨音であるしさらに合併し易い; int5 & fact5 -> hypothesis;
$facts$ = fact1: もし仮に「そのウィンドゥーＷは等しないしおまけにそれは区であるということはない」ということは成り立たないとすればこの翌年春は面目無くない fact2: 「そのウィンドゥーＷは等しないしまた区でない」ということは嘘である fact3: もし仮にあの就任直後が面目無いとしたらそれは雨音だ fact4: この翌年春が面目無くないならあの就任直後は面目無いしめぼしい fact5: 仮にあの就任直後は雨音で更に合併し易いとすれば怒りっぽくない fact6: 「あの就任直後は合併し易い」ということは本当だ ; $hypothesis$ = あの就任直後は怒りっぽい ; $proof$ = 
fact1 & fact2 -> int1: この翌年春は面目無くない; int1 & fact4 -> int2: あの就任直後は面目無いしかつめぼしい; int2 -> int3: あの就任直後は面目無い; int3 & fact3 -> int4: 「あの就任直後は雨音である」ということは真実である; int4 & fact6 -> int5: あの就任直後は雨音であるしさらに合併し易い; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのウィンドゥーＷは等しないしおまけにそれは区であるということはない」ということは成り立たないとすればこの翌年春は面目無くない
事実2: 「そのウィンドゥーＷは等しないしまた区でない」ということは嘘である
事実3: もし仮にあの就任直後が面目無いとしたらそれは雨音だ
事実4: この翌年春が面目無くないならあの就任直後は面目無いしめぼしい
事実5: 仮にあの就任直後は雨音で更に合併し易いとすれば怒りっぽくない
事実6: 「あの就任直後は合併し易い」ということは本当だ

仮説: あの就任直後は怒りっぽい
1. 事実1と事実2から、推論1: "この翌年春は面目無くない"が導かれる
2. 推論1と事実4から、推論2: "あの就任直後は面目無いしかつめぼしい"が導かれる
3. 推論2から、推論3: "あの就任直後は面目無い"が導かれる
4. 推論3と事実3から、推論4: "「あの就任直後は雨音である」ということは真実である"が導かれる
5. 推論4と事実6から、推論5: "あの就任直後は雨音であるしさらに合併し易い"が導かれる
6. 推論5と事実5から、仮説が否定される

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