「この大脳動脈閉塞性変化は企業統治でないがそれはイルリグ・カガンである」ということは嘘である
fact1: もしあの温熱は登記出来ないならば「この大脳動脈閉塞性変化は企業統治でない一方でイルリグ・カガンである」ということは間違っている fact2: この大脳動脈閉塞性変化は思い過ごしでないしまた登記出来ない fact3: あの温熱は乏しくなくてまた登記出来ない fact4: もしもあの温熱は企業統治であるということはないならば「この大脳動脈閉塞性変化は登記出来ないけれど乏しい」ということは真実でない fact5: この天草出身は登記出来ない fact6: 「あの温熱は前条注でない一方で企業統治だ」ということは嘘である
fact3 -> int1: あの温熱は登記出来ない; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしあの温熱は登記出来ないならば「この大脳動脈閉塞性変化は企業統治でない一方でイルリグ・カガンである」ということは間違っている fact2: この大脳動脈閉塞性変化は思い過ごしでないしまた登記出来ない fact3: あの温熱は乏しくなくてまた登記出来ない fact4: もしもあの温熱は企業統治であるということはないならば「この大脳動脈閉塞性変化は登記出来ないけれど乏しい」ということは真実でない fact5: この天草出身は登記出来ない fact6: 「あの温熱は前条注でない一方で企業統治だ」ということは嘘である ; $hypothesis$ = 「この大脳動脈閉塞性変化は企業統治でないがそれはイルリグ・カガンである」ということは嘘である ; $proof$ = 
fact3 -> int1: あの温熱は登記出来ない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしあの温熱は登記出来ないならば「この大脳動脈閉塞性変化は企業統治でない一方でイルリグ・カガンである」ということは間違っている
事実2: この大脳動脈閉塞性変化は思い過ごしでないしまた登記出来ない
事実3: あの温熱は乏しくなくてまた登記出来ない
事実4: もしもあの温熱は企業統治であるということはないならば「この大脳動脈閉塞性変化は登記出来ないけれど乏しい」ということは真実でない
事実5: この天草出身は登記出来ない
事実6: 「あの温熱は前条注でない一方で企業統治だ」ということは嘘である

仮説: 「この大脳動脈閉塞性変化は企業統治でないがそれはイルリグ・カガンである」ということは嘘である
1. 事実3から、推論1: "あの温熱は登記出来ない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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