あの判定内容はパワー不足だということはない
fact1: もしもあるものが守り継ぐなら想定し難くないし酔わない fact2: もしも「なにかは御結婚為さるし太り易い」ということは成り立つとすれば「パワー不足だということはない」ということは成り立つ fact3: もしもこの町医者が太り易いならあの判定内容は太り易い fact4: もしその加害者側が想定し難くないし酔わないとするとあの判定内容は御結婚為さる fact5: この町医者は太り易くてさらにそれはセレクターだ fact6: 仮に「そのイラク人はブラバスらしい」ということは真実ならばその加害者側は守り継ぐ fact7: その加害者側が守り継ぐとすればそれは想定し難くない fact8: 「そのイラク人はブラバスらしい」ということは誤っていない
fact6 & fact8 -> int1: その加害者側は守り継ぐ; fact1 -> int2: もしもその加害者側が守り継ぐとするとそれは想定し難くないしおまけに酔うということはない; int1 & int2 -> int3: その加害者側は想定し難いということはないしその上酔うということはない; int3 & fact4 -> int4: あの判定内容は御結婚為さる; fact5 -> int5: この町医者は太り易い; int5 & fact3 -> int6: あの判定内容は太り易い; int4 & int6 -> int7: あの判定内容は御結婚為さるしまた太り易い; fact2 -> int8: もしもあの判定内容は御結婚為さるしさらに太り易いとしたらパワー不足でない; int7 & int8 -> hypothesis;
$facts$ = fact1: もしもあるものが守り継ぐなら想定し難くないし酔わない fact2: もしも「なにかは御結婚為さるし太り易い」ということは成り立つとすれば「パワー不足だということはない」ということは成り立つ fact3: もしもこの町医者が太り易いならあの判定内容は太り易い fact4: もしその加害者側が想定し難くないし酔わないとするとあの判定内容は御結婚為さる fact5: この町医者は太り易くてさらにそれはセレクターだ fact6: 仮に「そのイラク人はブラバスらしい」ということは真実ならばその加害者側は守り継ぐ fact7: その加害者側が守り継ぐとすればそれは想定し難くない fact8: 「そのイラク人はブラバスらしい」ということは誤っていない ; $hypothesis$ = あの判定内容はパワー不足だということはない ; $proof$ = 
fact6 & fact8 -> int1: その加害者側は守り継ぐ; fact1 -> int2: もしもその加害者側が守り継ぐとするとそれは想定し難くないしおまけに酔うということはない; int1 & int2 -> int3: その加害者側は想定し難いということはないしその上酔うということはない; int3 & fact4 -> int4: あの判定内容は御結婚為さる; fact5 -> int5: この町医者は太り易い; int5 & fact3 -> int6: あの判定内容は太り易い; int4 & int6 -> int7: あの判定内容は御結婚為さるしまた太り易い; fact2 -> int8: もしもあの判定内容は御結婚為さるしさらに太り易いとしたらパワー不足でない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしもあるものが守り継ぐなら想定し難くないし酔わない
事実2: もしも「なにかは御結婚為さるし太り易い」ということは成り立つとすれば「パワー不足だということはない」ということは成り立つ
事実3: もしもこの町医者が太り易いならあの判定内容は太り易い
事実4: もしその加害者側が想定し難くないし酔わないとするとあの判定内容は御結婚為さる
事実5: この町医者は太り易くてさらにそれはセレクターだ
事実6: 仮に「そのイラク人はブラバスらしい」ということは真実ならばその加害者側は守り継ぐ
事実7: その加害者側が守り継ぐとすればそれは想定し難くない
事実8: 「そのイラク人はブラバスらしい」ということは誤っていない

仮説: あの判定内容はパワー不足だということはない
1. 事実6と事実8から、推論1: "その加害者側は守り継ぐ"が導かれる
2. 事実1から、推論2: "もしもその加害者側が守り継ぐとするとそれは想定し難くないしおまけに酔うということはない"が導かれる
3. 推論1と推論2から、推論3: "その加害者側は想定し難いということはないしその上酔うということはない"が導かれる
4. 推論3と事実4から、推論4: "あの判定内容は御結婚為さる"が導かれる
5. 事実5から、推論5: "この町医者は太り易い"が導かれる
6. 推論5と事実3から、推論6: "あの判定内容は太り易い"が導かれる
7. 推論4と推論6から、推論7: "あの判定内容は御結婚為さるしまた太り易い"が導かれる
8. 事実2から、推論8: "もしもあの判定内容は御結婚為さるしさらに太り易いとしたらパワー不足でない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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