その労働地代は貸し為さる
fact1: もしもこの投資促進効果が社寺でないとするとその一時消去は無生物でないしおまけに居辛くない fact2: 仮にとある物が魘されないがしかし歓待するとするとこの小児は居辛い fact3: もし仮に「この小児は歓待するしそれは魘される」ということは正しいとしたらその労働地代は魘されない fact4: ある物は魘されるし歓待する fact5: もしこの小児が居辛いとしたらその労働地代は貸し為さる fact6: もし仮にとある物が返還するとすると怠い fact7: 仮になにかは魘されないなら貸し為さらない fact8: この小児は返還する fact9: もし仮にその一時消去が無生物でないし更に居辛くないならこの小児は魘される fact10: 「魘されないししかも歓待する」ものはある fact11: 「魘されない」ものはある fact12: 「何らかのものは慈愛深くないがしかし社寺だ」ということは事実と異なるとすればそれは社寺でない fact13: 「怠いものは歓待する」ということは成り立つ
fact10 & fact2 -> int1: この小児は居辛い; int1 & fact5 -> hypothesis;
fact10 & fact2 -> int1: {C}{a}; int1 & fact5 -> hypothesis;
その労働地代は貸し為さらない
fact21 -> int2: もし仮にその労働地代が魘されないとすれば貸し為さらない; fact16 -> int3: もしもこの小児が怠いならば歓待する; fact20 -> int4: もし「この小児は返還しない」ということは嘘ならばそれは怠い; int4 & fact18 -> int5: この小児は怠い; int3 & int5 -> int6: この小児は歓待する; fact19 -> int7: もしも「この投資促進効果は慈愛深いということはない社寺だ」ということは偽なら社寺でない;
$facts$ = fact1: もしもこの投資促進効果が社寺でないとするとその一時消去は無生物でないしおまけに居辛くない fact2: 仮にとある物が魘されないがしかし歓待するとするとこの小児は居辛い fact3: もし仮に「この小児は歓待するしそれは魘される」ということは正しいとしたらその労働地代は魘されない fact4: ある物は魘されるし歓待する fact5: もしこの小児が居辛いとしたらその労働地代は貸し為さる fact6: もし仮にとある物が返還するとすると怠い fact7: 仮になにかは魘されないなら貸し為さらない fact8: この小児は返還する fact9: もし仮にその一時消去が無生物でないし更に居辛くないならこの小児は魘される fact10: 「魘されないししかも歓待する」ものはある fact11: 「魘されない」ものはある fact12: 「何らかのものは慈愛深くないがしかし社寺だ」ということは事実と異なるとすればそれは社寺でない fact13: 「怠いものは歓待する」ということは成り立つ ; $hypothesis$ = その労働地代は貸し為さる ; $proof$ = 
fact10 & fact2 -> int1: この小児は居辛い; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの投資促進効果が社寺でないとするとその一時消去は無生物でないしおまけに居辛くない
事実2: 仮にとある物が魘されないがしかし歓待するとするとこの小児は居辛い
事実3: もし仮に「この小児は歓待するしそれは魘される」ということは正しいとしたらその労働地代は魘されない
事実4: ある物は魘されるし歓待する
事実5: もしこの小児が居辛いとしたらその労働地代は貸し為さる
事実6: もし仮にとある物が返還するとすると怠い
事実7: 仮になにかは魘されないなら貸し為さらない
事実8: この小児は返還する
事実9: もし仮にその一時消去が無生物でないし更に居辛くないならこの小児は魘される
事実10: 「魘されないししかも歓待する」ものはある
事実11: 「魘されない」ものはある
事実12: 「何らかのものは慈愛深くないがしかし社寺だ」ということは事実と異なるとすればそれは社寺でない
事実13: 「怠いものは歓待する」ということは成り立つ

仮説: その労働地代は貸し為さる
1. 事実10と事実2から、推論1: "この小児は居辛い"が導かれる
2. 推論1と事実5から、仮説が導かれる

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