「あの馬飼い地点は勘繰る」ということは成り立つ
fact1: あの悪者は憤慨するしまたそれは果てし無い fact2: 仮にあの悪者が憤慨するならあの馬飼い地点はつべたい fact3: あのオーケー＿ＲＥＣは果てし無い fact4: あの悪者は果てし無い fact5: つべたい物は勘繰る fact6: もしも何らかのものが憤慨するが果てし無くないとしたら勘繰らない
fact1 -> int1: あの悪者は憤慨する; int1 & fact2 -> int2: あの馬飼い地点はつべたい; fact5 -> int3: もしあの馬飼い地点はつべたいなら「勘繰る」ということは成り立つ; int2 & int3 -> hypothesis;
あの馬飼い地点は勘繰らない
fact7 -> int4: もしあの馬飼い地点が憤慨するがしかし果てし無くないとすればそれは勘繰るということはない;
$facts$ = fact1: あの悪者は憤慨するしまたそれは果てし無い fact2: 仮にあの悪者が憤慨するならあの馬飼い地点はつべたい fact3: あのオーケー＿ＲＥＣは果てし無い fact4: あの悪者は果てし無い fact5: つべたい物は勘繰る fact6: もしも何らかのものが憤慨するが果てし無くないとしたら勘繰らない ; $hypothesis$ = 「あの馬飼い地点は勘繰る」ということは成り立つ ; $proof$ = 
fact1 -> int1: あの悪者は憤慨する; int1 & fact2 -> int2: あの馬飼い地点はつべたい; fact5 -> int3: もしあの馬飼い地点はつべたいなら「勘繰る」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: あの悪者は憤慨するしまたそれは果てし無い
事実2: 仮にあの悪者が憤慨するならあの馬飼い地点はつべたい
事実3: あのオーケー＿ＲＥＣは果てし無い
事実4: あの悪者は果てし無い
事実5: つべたい物は勘繰る
事実6: もしも何らかのものが憤慨するが果てし無くないとしたら勘繰らない

仮説: 「あの馬飼い地点は勘繰る」ということは成り立つ
1. 事実1から、推論1: "あの悪者は憤慨する"が導かれる
2. 推論1と事実2から、推論2: "あの馬飼い地点はつべたい"が導かれる
3. 事実5から、推論3: "もしあの馬飼い地点はつべたいなら「勘繰る」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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