あの族長達は出奔しない
fact1: もし仮に何らかの物が転ぜないとすればそれは順位付けするしおまけに未練がましい fact2: もしもとある物が社会基盤研究所でなくてそれは単体でないとするとそれは役割分担でない fact3: この開示手続きは本地であるしかつ危ない fact4: 仮にこの開示手続きが出奔するしかつ役割分担ならばあの族長達は手早くない fact5: もしもこの開示手続きは役割分担だということはないなら「あの族長達は手早くないしそれは出奔しない」ということは成り立たない fact6: 「この開示手続きはすんごい」ということは成り立つ fact7: あの再販売価格基準法は未練がましい fact8: もしも「「出奔する一方で手早くない」ということは間違っている」物があるとするとその苦心は手早い fact9: もしある物は社会基盤研究所でないならそれは役割分担でない fact10: 「この開示手続きは出奔する」ということは正しい fact11: この開示手続きが順位付けするとしたら社会基盤研究所でないし単体だということはない fact12: 「もしこの開示手続きが役割分担だしその上手早いならばあの族長達は出奔しない」ということは成り立つ fact13: もしも「この開示手続きは御祭りするしそれにそれはコールタールピッチだ」ということは成り立たないとすれば転ぜない fact14: この開示手続きは手早い fact15: あの族長達は役割分担である fact16: なにかは役割分担でないなら「出奔するし加えてそれは手早いということはない」ということは間違っている fact17: あの族長達は嘆く fact18: この開示手続きは役割分担である fact19: 「何らかのものは手早くないし出奔しない」ということは成り立たないとしたら「それは出奔する」ということは正しい
fact18 & fact14 -> int1: この開示手続きが役割分担だし手早い; int1 & fact12 -> hypothesis;
あの族長達は出奔する
fact23 -> int2: 仮に「「あの族長達は手早くないしそれに出奔しない」ということは真実だ」ということは嘘なら出奔する; fact21 -> int3: この開示手続きは社会基盤研究所であるということはないとしたらそれは役割分担でない; fact20 -> int4: 「なにがしかの物は未練がましい」ということは成り立つ;
$facts$ = fact1: もし仮に何らかの物が転ぜないとすればそれは順位付けするしおまけに未練がましい fact2: もしもとある物が社会基盤研究所でなくてそれは単体でないとするとそれは役割分担でない fact3: この開示手続きは本地であるしかつ危ない fact4: 仮にこの開示手続きが出奔するしかつ役割分担ならばあの族長達は手早くない fact5: もしもこの開示手続きは役割分担だということはないなら「あの族長達は手早くないしそれは出奔しない」ということは成り立たない fact6: 「この開示手続きはすんごい」ということは成り立つ fact7: あの再販売価格基準法は未練がましい fact8: もしも「「出奔する一方で手早くない」ということは間違っている」物があるとするとその苦心は手早い fact9: もしある物は社会基盤研究所でないならそれは役割分担でない fact10: 「この開示手続きは出奔する」ということは正しい fact11: この開示手続きが順位付けするとしたら社会基盤研究所でないし単体だということはない fact12: 「もしこの開示手続きが役割分担だしその上手早いならばあの族長達は出奔しない」ということは成り立つ fact13: もしも「この開示手続きは御祭りするしそれにそれはコールタールピッチだ」ということは成り立たないとすれば転ぜない fact14: この開示手続きは手早い fact15: あの族長達は役割分担である fact16: なにかは役割分担でないなら「出奔するし加えてそれは手早いということはない」ということは間違っている fact17: あの族長達は嘆く fact18: この開示手続きは役割分担である fact19: 「何らかのものは手早くないし出奔しない」ということは成り立たないとしたら「それは出奔する」ということは正しい ; $hypothesis$ = あの族長達は出奔しない ; $proof$ = 
fact18 & fact14 -> int1: この開示手続きが役割分担だし手早い; int1 & fact12 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が転ぜないとすればそれは順位付けするしおまけに未練がましい
事実2: もしもとある物が社会基盤研究所でなくてそれは単体でないとするとそれは役割分担でない
事実3: この開示手続きは本地であるしかつ危ない
事実4: 仮にこの開示手続きが出奔するしかつ役割分担ならばあの族長達は手早くない
事実5: もしもこの開示手続きは役割分担だということはないなら「あの族長達は手早くないしそれは出奔しない」ということは成り立たない
事実6: 「この開示手続きはすんごい」ということは成り立つ
事実7: あの再販売価格基準法は未練がましい
事実8: もしも「「出奔する一方で手早くない」ということは間違っている」物があるとするとその苦心は手早い
事実9: もしある物は社会基盤研究所でないならそれは役割分担でない
事実10: 「この開示手続きは出奔する」ということは正しい
事実11: この開示手続きが順位付けするとしたら社会基盤研究所でないし単体だということはない
事実12: 「もしこの開示手続きが役割分担だしその上手早いならばあの族長達は出奔しない」ということは成り立つ
事実13: もしも「この開示手続きは御祭りするしそれにそれはコールタールピッチだ」ということは成り立たないとすれば転ぜない
事実14: この開示手続きは手早い
事実15: あの族長達は役割分担である
事実16: なにかは役割分担でないなら「出奔するし加えてそれは手早いということはない」ということは間違っている
事実17: あの族長達は嘆く
事実18: この開示手続きは役割分担である
事実19: 「何らかのものは手早くないし出奔しない」ということは成り立たないとしたら「それは出奔する」ということは正しい

仮説: あの族長達は出奔しない
1. 事実18と事実14から、推論1: "この開示手続きが役割分担だし手早い"が導かれる
2. 推論1と事実12から、仮説が導かれる

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