このシースルーは疑わしくないし加えて堪らない
fact1: この宵闇は戦車回収補修部隊でない fact2: 仮にこの非業が利益額だとするとあのＩＧはうら若し fact3: あのＩＧが戦車回収補修部隊であるとすればこの入所施設偏重政策は堪るということはない fact4: このシースルーは疑わしいということはない fact5: この非業は利益額であるかもしくはそれは分霊する fact6: もしもなにがしかの物は利益額でないならばそれは疑わしくないしまた不味いということはない fact7: もし仮にこの非業が戦車回収補修部隊でないならそれは分霊するしそれはうら若し fact8: もしもこの入所施設偏重政策が堪らないとするとこのシースルーは疑わしくないしおまけに堪るということはない fact9: もしこの非業が分霊するとするとあのＩＧはうら若し fact10: 仮にあのＩＧがうら若しかまたは戦車回収補修部隊であるか両方であるならこの入所施設偏重政策は堪るということはない fact11: もしもこの入所施設偏重政策が堪らないならばこのシースルーは疑わしくない fact12: あのＩＧはうら若しかもしくはそれは分霊する
fact5 & fact2 & fact9 -> int1: あのＩＧはうら若し; int1 -> int2: あのＩＧはうら若しかもしくは戦車回収補修部隊であるかどちらもだ; int2 & fact10 -> int3: 「この入所施設偏重政策は堪らない」ということは本当である; int3 & fact8 -> hypothesis;
「このシースルーは疑わしいということはなくてそれにそれは堪らない」ということは真実でない
$facts$ = fact1: この宵闇は戦車回収補修部隊でない fact2: 仮にこの非業が利益額だとするとあのＩＧはうら若し fact3: あのＩＧが戦車回収補修部隊であるとすればこの入所施設偏重政策は堪るということはない fact4: このシースルーは疑わしいということはない fact5: この非業は利益額であるかもしくはそれは分霊する fact6: もしもなにがしかの物は利益額でないならばそれは疑わしくないしまた不味いということはない fact7: もし仮にこの非業が戦車回収補修部隊でないならそれは分霊するしそれはうら若し fact8: もしもこの入所施設偏重政策が堪らないとするとこのシースルーは疑わしくないしおまけに堪るということはない fact9: もしこの非業が分霊するとするとあのＩＧはうら若し fact10: 仮にあのＩＧがうら若しかまたは戦車回収補修部隊であるか両方であるならこの入所施設偏重政策は堪るということはない fact11: もしもこの入所施設偏重政策が堪らないならばこのシースルーは疑わしくない fact12: あのＩＧはうら若しかもしくはそれは分霊する ; $hypothesis$ = このシースルーは疑わしくないし加えて堪らない ; $proof$ = 
fact5 & fact2 & fact9 -> int1: あのＩＧはうら若し; int1 -> int2: あのＩＧはうら若しかもしくは戦車回収補修部隊であるかどちらもだ; int2 & fact10 -> int3: 「この入所施設偏重政策は堪らない」ということは本当である; int3 & fact8 -> hypothesis; __PROVED__
事実1: この宵闇は戦車回収補修部隊でない
事実2: 仮にこの非業が利益額だとするとあのＩＧはうら若し
事実3: あのＩＧが戦車回収補修部隊であるとすればこの入所施設偏重政策は堪るということはない
事実4: このシースルーは疑わしいということはない
事実5: この非業は利益額であるかもしくはそれは分霊する
事実6: もしもなにがしかの物は利益額でないならばそれは疑わしくないしまた不味いということはない
事実7: もし仮にこの非業が戦車回収補修部隊でないならそれは分霊するしそれはうら若し
事実8: もしもこの入所施設偏重政策が堪らないとするとこのシースルーは疑わしくないしおまけに堪るということはない
事実9: もしこの非業が分霊するとするとあのＩＧはうら若し
事実10: 仮にあのＩＧがうら若しかまたは戦車回収補修部隊であるか両方であるならこの入所施設偏重政策は堪るということはない
事実11: もしもこの入所施設偏重政策が堪らないならばこのシースルーは疑わしくない
事実12: あのＩＧはうら若しかもしくはそれは分霊する

仮説: このシースルーは疑わしくないし加えて堪らない
1. 事実5と事実2と事実9から、推論1: "あのＩＧはうら若し"が導かれる
2. 推論1から、推論2: "あのＩＧはうら若しかもしくは戦車回収補修部隊であるかどちらもだ"が導かれる
3. 推論2と事実10から、推論3: "「この入所施設偏重政策は堪らない」ということは本当である"が導かれる
4. 推論3と事実8から、仮説が導かれる

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