その国営農場はいじましい
fact1: あの溜飲は拘泥する fact2: あの水源確保は湿気易い fact3: あの水源確保は拘泥する fact4: もし仮になにかは拘泥するし更にそれが湿気易いとすればあのＶＩは一括計上する fact5: もし仮にあのＶＩが一括計上するとしたらその国営農場はいじましい
fact3 & fact2 -> int1: あの水源確保は拘泥するし湿気易い; int1 -> int2: 「拘泥するしまた湿気易い」ものはある; int2 & fact4 -> int3: あのＶＩは一括計上する; int3 & fact5 -> hypothesis;
$facts$ = fact1: あの溜飲は拘泥する fact2: あの水源確保は湿気易い fact3: あの水源確保は拘泥する fact4: もし仮になにかは拘泥するし更にそれが湿気易いとすればあのＶＩは一括計上する fact5: もし仮にあのＶＩが一括計上するとしたらその国営農場はいじましい ; $hypothesis$ = その国営農場はいじましい ; $proof$ = 
fact3 & fact2 -> int1: あの水源確保は拘泥するし湿気易い; int1 -> int2: 「拘泥するしまた湿気易い」ものはある; int2 & fact4 -> int3: あのＶＩは一括計上する; int3 & fact5 -> hypothesis; __PROVED__
事実1: あの溜飲は拘泥する
事実2: あの水源確保は湿気易い
事実3: あの水源確保は拘泥する
事実4: もし仮になにかは拘泥するし更にそれが湿気易いとすればあのＶＩは一括計上する
事実5: もし仮にあのＶＩが一括計上するとしたらその国営農場はいじましい

仮説: その国営農場はいじましい
1. 事実3と事実2から、推論1: "あの水源確保は拘泥するし湿気易い"が導かれる
2. 推論1から、推論2: "「拘泥するしまた湿気易い」ものはある"が導かれる
3. 推論2と事実4から、推論3: "あのＶＩは一括計上する"が導かれる
4. 推論3と事実5から、仮説が導かれる

よって、仮説が証明されました。