その農業上は経過的寡婦加算だ
fact1: この第二十一議会はジーンズである fact2: もしその農業上は遣り難くないとすれば「それは三百Ｋでなくてかつジーンズでない」ということは成り立たない fact3: この第二十一議会はジーンズであるしまたそれは三百Ｋである fact4: この憲兵隊は三百Ｋだ fact5: もしもこの憲兵隊が遣り難いならばあの農業上は経過的寡婦加算である fact6: もしもこの第二十一議会が三百Ｋならばあの憲兵隊は遣り難い fact7: この憲兵隊は定期審査である fact8: その農業上は三百Ｋである fact9: あの下前短冊は三百Ｋだ fact10: あの年金資産は非難がましいしさらにコストテーブルである fact11: もしこの第二十一議会は経過的寡婦加算だとすれば「その農業上は三百Ｋである」ということは成り立つ fact12: この憲兵隊は経過的寡婦加算だ
fact3 -> int1: この第二十一議会は三百Ｋだ; int1 & fact6 -> int2: この憲兵隊は遣り難い; int2 & fact5 -> hypothesis;
その農業上は経過的寡婦加算でない
$facts$ = fact1: この第二十一議会はジーンズである fact2: もしその農業上は遣り難くないとすれば「それは三百Ｋでなくてかつジーンズでない」ということは成り立たない fact3: この第二十一議会はジーンズであるしまたそれは三百Ｋである fact4: この憲兵隊は三百Ｋだ fact5: もしもこの憲兵隊が遣り難いならばあの農業上は経過的寡婦加算である fact6: もしもこの第二十一議会が三百Ｋならばあの憲兵隊は遣り難い fact7: この憲兵隊は定期審査である fact8: その農業上は三百Ｋである fact9: あの下前短冊は三百Ｋだ fact10: あの年金資産は非難がましいしさらにコストテーブルである fact11: もしこの第二十一議会は経過的寡婦加算だとすれば「その農業上は三百Ｋである」ということは成り立つ fact12: この憲兵隊は経過的寡婦加算だ ; $hypothesis$ = その農業上は経過的寡婦加算だ ; $proof$ = 
fact3 -> int1: この第二十一議会は三百Ｋだ; int1 & fact6 -> int2: この憲兵隊は遣り難い; int2 & fact5 -> hypothesis; __PROVED__
事実1: この第二十一議会はジーンズである
事実2: もしその農業上は遣り難くないとすれば「それは三百Ｋでなくてかつジーンズでない」ということは成り立たない
事実3: この第二十一議会はジーンズであるしまたそれは三百Ｋである
事実4: この憲兵隊は三百Ｋだ
事実5: もしもこの憲兵隊が遣り難いならばあの農業上は経過的寡婦加算である
事実6: もしもこの第二十一議会が三百Ｋならばあの憲兵隊は遣り難い
事実7: この憲兵隊は定期審査である
事実8: その農業上は三百Ｋである
事実9: あの下前短冊は三百Ｋだ
事実10: あの年金資産は非難がましいしさらにコストテーブルである
事実11: もしこの第二十一議会は経過的寡婦加算だとすれば「その農業上は三百Ｋである」ということは成り立つ
事実12: この憲兵隊は経過的寡婦加算だ

仮説: その農業上は経過的寡婦加算だ
1. 事実3から、推論1: "この第二十一議会は三百Ｋだ"が導かれる
2. 推論1と事実6から、推論2: "この憲兵隊は遣り難い"が導かれる
3. 推論2と事実5から、仮説が導かれる

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