あの建設機械は焦がす
fact1: 仮に回りくどい物が努めるということはないとするとそれは焦がさない fact2: もし仮に「そのひやり・ハット事例は登頂しない」ということは成り立つならばあの建設機械は罷り越す fact3: 「ディコードするしピックアップする」ものはある fact4: 図太い物はディコードするけどピックアップしない fact5: もし仮にそのひやり・ハット事例が焦がさないししかもそれがピックアップしないならあの建設機械は焦がすということはない fact6: 「「添えるかまたは冠水しないかあるいは両方である」ということは間違っている」ものがあるとすればこの締め括りは小邦でない fact7: なんらかのものは自民党内でないならば「それは添えるかあるいは冠水しないか両方ともである」ということは間違っている fact8: もしもあの建設機械が焦がさないとしたらそのひやり・ハット事例は罷り越すかそれは登頂する fact9: なにがしかの物は心霊主義でないとしたら史跡等であるし更に引き易い fact10: もしもそのひやり・ハット事例が罷り越すとしたらこの締め括りは図太い fact11: あの社会的支援は索具装置である fact12: 仮に何らかのものがディコードするしかつピックアップするとしたらそのひやり・ハット事例は事始めだということはない fact13: もしある物が事始めだということはなくてかつ図太くないとすると登頂しない fact14: もしもあの建設機械が罷り越すとすればそれは焦がす fact15: もしもなんらかの物がディコードするがしかしそれがピックアップしないならばそれは事始めでない fact16: 「「熟達するし加えて猜疑しない」ということは成り立たない」ものはある fact17: もしもこの進学先が弁解がましいとしたらあの建設機械は回りくどいがしかし努めない fact18: この同一内容は覚束無くないしおまけに生活し易くない fact19: 仮にこの進学先が図太くないとするとそのひやり・ハット事例は事始めであるし更にディコードする fact20: そのひやり・ハット事例が登頂するとすればあの締め括りは図太い fact21: 史跡等は弁解がましい fact22: とある物が索具装置ならば自民党内でない fact23: 「そのひやり・ハット事例は図太くない」ということは正しい
fact3 & fact12 -> int1: そのひやり・ハット事例は事始めであるということはない; int1 & fact23 -> int2: そのひやり・ハット事例は事始めでなくておまけに図太くない; fact13 -> int3: そのひやり・ハット事例が事始めであるということはないしそれが図太くないとするとそれは登頂しない; int2 & int3 -> int4: そのひやり・ハット事例は登頂しない; int4 & fact2 -> int5: あの建設機械は罷り越す; int5 & fact14 -> hypothesis;
この締め括りは事始めでないしさらに小邦でない
fact31 -> int6: もしもこの締め括りはディコードするけれどピックアップしないとしたら事始めでない; fact33 -> int7: もしもこの締め括りが図太いならディコードするしピックアップするということはない; fact29 -> int8: もしあの建設機械は回りくどいけど努めないなら焦がさない; fact37 -> int9: もし仮にこの進学先は史跡等であるとすると弁解がましい; fact28 -> int10: もし仮にこの進学先は心霊主義でないとすると史跡等でまた引き易い; fact34 -> int11: もし仮にあの社会的支援は自民党内でないとしたら「添えるか冠水しない」ということは誤りである; fact27 -> int12: もしあの社会的支援は索具装置ならば「それは自民党内でない」ということは成り立つ; int12 & fact36 -> int13: 「あの社会的支援は自民党内だということはない」ということは成り立つ; int11 & int13 -> int14: 「あの社会的支援は添えるかあるいは冠水しないかどちらもである」ということは正しくない; int14 -> int15: 「「添えるかもしくは冠水しない」ということは嘘である」物はある; int15 & fact32 -> int16: 「この締め括りは小邦でない」ということは誤っていない;
$facts$ = fact1: 仮に回りくどい物が努めるということはないとするとそれは焦がさない fact2: もし仮に「そのひやり・ハット事例は登頂しない」ということは成り立つならばあの建設機械は罷り越す fact3: 「ディコードするしピックアップする」ものはある fact4: 図太い物はディコードするけどピックアップしない fact5: もし仮にそのひやり・ハット事例が焦がさないししかもそれがピックアップしないならあの建設機械は焦がすということはない fact6: 「「添えるかまたは冠水しないかあるいは両方である」ということは間違っている」ものがあるとすればこの締め括りは小邦でない fact7: なんらかのものは自民党内でないならば「それは添えるかあるいは冠水しないか両方ともである」ということは間違っている fact8: もしもあの建設機械が焦がさないとしたらそのひやり・ハット事例は罷り越すかそれは登頂する fact9: なにがしかの物は心霊主義でないとしたら史跡等であるし更に引き易い fact10: もしもそのひやり・ハット事例が罷り越すとしたらこの締め括りは図太い fact11: あの社会的支援は索具装置である fact12: 仮に何らかのものがディコードするしかつピックアップするとしたらそのひやり・ハット事例は事始めだということはない fact13: もしある物が事始めだということはなくてかつ図太くないとすると登頂しない fact14: もしもあの建設機械が罷り越すとすればそれは焦がす fact15: もしもなんらかの物がディコードするがしかしそれがピックアップしないならばそれは事始めでない fact16: 「「熟達するし加えて猜疑しない」ということは成り立たない」ものはある fact17: もしもこの進学先が弁解がましいとしたらあの建設機械は回りくどいがしかし努めない fact18: この同一内容は覚束無くないしおまけに生活し易くない fact19: 仮にこの進学先が図太くないとするとそのひやり・ハット事例は事始めであるし更にディコードする fact20: そのひやり・ハット事例が登頂するとすればあの締め括りは図太い fact21: 史跡等は弁解がましい fact22: とある物が索具装置ならば自民党内でない fact23: 「そのひやり・ハット事例は図太くない」ということは正しい ; $hypothesis$ = あの建設機械は焦がす ; $proof$ = 
fact3 & fact12 -> int1: そのひやり・ハット事例は事始めであるということはない; int1 & fact23 -> int2: そのひやり・ハット事例は事始めでなくておまけに図太くない; fact13 -> int3: そのひやり・ハット事例が事始めであるということはないしそれが図太くないとするとそれは登頂しない; int2 & int3 -> int4: そのひやり・ハット事例は登頂しない; int4 & fact2 -> int5: あの建設機械は罷り越す; int5 & fact14 -> hypothesis; __PROVED__
事実1: 仮に回りくどい物が努めるということはないとするとそれは焦がさない
事実2: もし仮に「そのひやり・ハット事例は登頂しない」ということは成り立つならばあの建設機械は罷り越す
事実3: 「ディコードするしピックアップする」ものはある
事実4: 図太い物はディコードするけどピックアップしない
事実5: もし仮にそのひやり・ハット事例が焦がさないししかもそれがピックアップしないならあの建設機械は焦がすということはない
事実6: 「「添えるかまたは冠水しないかあるいは両方である」ということは間違っている」ものがあるとすればこの締め括りは小邦でない
事実7: なんらかのものは自民党内でないならば「それは添えるかあるいは冠水しないか両方ともである」ということは間違っている
事実8: もしもあの建設機械が焦がさないとしたらそのひやり・ハット事例は罷り越すかそれは登頂する
事実9: なにがしかの物は心霊主義でないとしたら史跡等であるし更に引き易い
事実10: もしもそのひやり・ハット事例が罷り越すとしたらこの締め括りは図太い
事実11: あの社会的支援は索具装置である
事実12: 仮に何らかのものがディコードするしかつピックアップするとしたらそのひやり・ハット事例は事始めだということはない
事実13: もしある物が事始めだということはなくてかつ図太くないとすると登頂しない
事実14: もしもあの建設機械が罷り越すとすればそれは焦がす
事実15: もしもなんらかの物がディコードするがしかしそれがピックアップしないならばそれは事始めでない
事実16: 「「熟達するし加えて猜疑しない」ということは成り立たない」ものはある
事実17: もしもこの進学先が弁解がましいとしたらあの建設機械は回りくどいがしかし努めない
事実18: この同一内容は覚束無くないしおまけに生活し易くない
事実19: 仮にこの進学先が図太くないとするとそのひやり・ハット事例は事始めであるし更にディコードする
事実20: そのひやり・ハット事例が登頂するとすればあの締め括りは図太い
事実21: 史跡等は弁解がましい
事実22: とある物が索具装置ならば自民党内でない
事実23: 「そのひやり・ハット事例は図太くない」ということは正しい

仮説: あの建設機械は焦がす
1. 事実3と事実12から、推論1: "そのひやり・ハット事例は事始めであるということはない"が導かれる
2. 推論1と事実23から、推論2: "そのひやり・ハット事例は事始めでなくておまけに図太くない"が導かれる
3. 事実13から、推論3: "そのひやり・ハット事例が事始めであるということはないしそれが図太くないとするとそれは登頂しない"が導かれる
4. 推論2と推論3から、推論4: "そのひやり・ハット事例は登頂しない"が導かれる
5. 推論4と事実2から、推論5: "あの建設機械は罷り越す"が導かれる
6. 推論5と事実14から、仮説が導かれる

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