このＳＩＭオンは監督する
fact1: もしもあのＢ級ビルタ用地が泥沼化すればこのＳＩＭオンは矢投資だ fact2: もしも何かは泥沼化するとすればそれは監督する fact3: もし何らかのものが矢投資ならば監督する fact4: このＳＩＭオンは憎々しいとすれば「あのＢ級ビルタ用地は監督する」ということは誤っていない fact5: もし仮にあのＢ級ビルタ用地が監督するならあの開腹手術は憎々しいがしかし矢投資でない fact6: あのＢ級ビルタ用地は泥沼化するし憎々しい fact7: あのＢ級ビルタ用地は憎々しい fact8: ある物が泥沼化しないならばそれは監督しない
fact6 -> int1: あのＢ級ビルタ用地は泥沼化する; int1 & fact1 -> int2: このＳＩＭオンは矢投資だ; fact3 -> int3: このＳＩＭオンは矢投資であるとするとそれは監督する; int2 & int3 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; fact3 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
あの開腹手術は泥沼化する
$facts$ = fact1: もしもあのＢ級ビルタ用地が泥沼化すればこのＳＩＭオンは矢投資だ fact2: もしも何かは泥沼化するとすればそれは監督する fact3: もし何らかのものが矢投資ならば監督する fact4: このＳＩＭオンは憎々しいとすれば「あのＢ級ビルタ用地は監督する」ということは誤っていない fact5: もし仮にあのＢ級ビルタ用地が監督するならあの開腹手術は憎々しいがしかし矢投資でない fact6: あのＢ級ビルタ用地は泥沼化するし憎々しい fact7: あのＢ級ビルタ用地は憎々しい fact8: ある物が泥沼化しないならばそれは監督しない ; $hypothesis$ = このＳＩＭオンは監督する ; $proof$ = 
fact6 -> int1: あのＢ級ビルタ用地は泥沼化する; int1 & fact1 -> int2: このＳＩＭオンは矢投資だ; fact3 -> int3: このＳＩＭオンは矢投資であるとするとそれは監督する; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもあのＢ級ビルタ用地が泥沼化すればこのＳＩＭオンは矢投資だ
事実2: もしも何かは泥沼化するとすればそれは監督する
事実3: もし何らかのものが矢投資ならば監督する
事実4: このＳＩＭオンは憎々しいとすれば「あのＢ級ビルタ用地は監督する」ということは誤っていない
事実5: もし仮にあのＢ級ビルタ用地が監督するならあの開腹手術は憎々しいがしかし矢投資でない
事実6: あのＢ級ビルタ用地は泥沼化するし憎々しい
事実7: あのＢ級ビルタ用地は憎々しい
事実8: ある物が泥沼化しないならばそれは監督しない

仮説: このＳＩＭオンは監督する
1. 事実6から、推論1: "あのＢ級ビルタ用地は泥沼化する"が導かれる
2. 推論1と事実1から、推論2: "このＳＩＭオンは矢投資だ"が導かれる
3. 事実3から、推論3: "このＳＩＭオンは矢投資であるとするとそれは監督する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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