あの高コレステロールは算定し難い
fact1: もし仮にその院使は見なさないとすれば「あのウォーレン・ビショップは怪しくないかまたはそれははしたなくないかまたは両方ともである」ということは間違いである fact2: もし「習慣化でない」物はあるとしたら「その通信方式は習慣化でおまけにそれは算定し難い」ということは嘘だ fact3: あのウォーレン・ビショップが様良しということはないとするとあの高コレステロールは旅立つが算定し難くない fact4: もしも「なにがしかのものは習慣化であるしそれは算定し難い」ということは成り立たないとするとそれは算定し難くない fact5: もし仮になにがしかのものが旅立てばそれは算定し難い fact6: あの高コレステロールは旅立つしまた様良し fact7: あの高コレステロールは様良し fact8: あの個人年金保険料が唐子だしさらにそれは様良し fact9: もしもなにかはヒム蚊でないならそれは様良しということはないがしかし習慣化である fact10: あの高コレステロールは痴呆だ fact11: この一食分は旅立つ fact12: もし「なにがしかの物は怪しくないかもしくはそれははしたなくないかあるいは両方ともである」ということは間違いならそれはヒム蚊でない fact13: あの高コレステロールはＮＯＲＣである
fact6 -> int1: あの高コレステロールは旅立つ; fact5 -> int2: 「あの高コレステロールは旅立つ」ということは成り立つとすると算定し難い; int1 & int2 -> hypothesis;
あの高コレステロールは算定し難くない
fact15 -> int3: 仮に「あのウォーレン・ビショップはヒム蚊だということはない」ということは本当だとすればそれは様良くなくて習慣化だ; fact14 -> int4: もしも「「あのウォーレン・ビショップは怪しくないかまたははしたなくないか両方である」ということは成り立たない」ということは真実だとしたらそれはヒム蚊でない;
$facts$ = fact1: もし仮にその院使は見なさないとすれば「あのウォーレン・ビショップは怪しくないかまたはそれははしたなくないかまたは両方ともである」ということは間違いである fact2: もし「習慣化でない」物はあるとしたら「その通信方式は習慣化でおまけにそれは算定し難い」ということは嘘だ fact3: あのウォーレン・ビショップが様良しということはないとするとあの高コレステロールは旅立つが算定し難くない fact4: もしも「なにがしかのものは習慣化であるしそれは算定し難い」ということは成り立たないとするとそれは算定し難くない fact5: もし仮になにがしかのものが旅立てばそれは算定し難い fact6: あの高コレステロールは旅立つしまた様良し fact7: あの高コレステロールは様良し fact8: あの個人年金保険料が唐子だしさらにそれは様良し fact9: もしもなにかはヒム蚊でないならそれは様良しということはないがしかし習慣化である fact10: あの高コレステロールは痴呆だ fact11: この一食分は旅立つ fact12: もし「なにがしかの物は怪しくないかもしくはそれははしたなくないかあるいは両方ともである」ということは間違いならそれはヒム蚊でない fact13: あの高コレステロールはＮＯＲＣである ; $hypothesis$ = あの高コレステロールは算定し難い ; $proof$ = 
fact6 -> int1: あの高コレステロールは旅立つ; fact5 -> int2: 「あの高コレステロールは旅立つ」ということは成り立つとすると算定し難い; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にその院使は見なさないとすれば「あのウォーレン・ビショップは怪しくないかまたはそれははしたなくないかまたは両方ともである」ということは間違いである
事実2: もし「習慣化でない」物はあるとしたら「その通信方式は習慣化でおまけにそれは算定し難い」ということは嘘だ
事実3: あのウォーレン・ビショップが様良しということはないとするとあの高コレステロールは旅立つが算定し難くない
事実4: もしも「なにがしかのものは習慣化であるしそれは算定し難い」ということは成り立たないとするとそれは算定し難くない
事実5: もし仮になにがしかのものが旅立てばそれは算定し難い
事実6: あの高コレステロールは旅立つしまた様良し
事実7: あの高コレステロールは様良し
事実8: あの個人年金保険料が唐子だしさらにそれは様良し
事実9: もしもなにかはヒム蚊でないならそれは様良しということはないがしかし習慣化である
事実10: あの高コレステロールは痴呆だ
事実11: この一食分は旅立つ
事実12: もし「なにがしかの物は怪しくないかもしくはそれははしたなくないかあるいは両方ともである」ということは間違いならそれはヒム蚊でない
事実13: あの高コレステロールはＮＯＲＣである

仮説: あの高コレステロールは算定し難い
1. 事実6から、推論1: "あの高コレステロールは旅立つ"が導かれる
2. 事実5から、推論2: "「あの高コレステロールは旅立つ」ということは成り立つとすると算定し難い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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