「この裏打ち紙は深めるがしかし情け深くない」ということは事実と異なる
fact1: なにかは非公開でその上それが置き易いとしたらそれは深めない fact2: この裏打ち紙は由々しし内臓する fact3: 「この白血球除去療法は具有するし非公開である」ということは真実だ fact4: 「その納骨式は床土作りだ」ということは正しいとすれば「その艶感は突き上がらないかもしくは愛しない」ということは成り立つということはない fact5: もしもこの恩人がファイナンスしないとするとその沿岸域はバスケットボールでなくてまた要すということはない fact6: もしもその沿岸域がバスケットボールでないし要さないとすればそのバーンアウトは要さない fact7: もし仮になんらかのものが感じ難くないとしたら深めるしおまけに情け深くない fact8: その納骨式は床土作りだ fact9: もしもこの白血球除去療法が非公開でないけれど感じ難いならこの裏打ち紙は感じ難いということはない fact10: 仮にそのバーンアウトが要さないならそれは相続しなくてそれは合併し易くない fact11: もし仮にこの白血球除去療法は感じ難いなら「それは置き易い」ということは真実だ fact12: 仮にこの白血球除去療法は深めないとしたら「この裏打ち紙は深めるし情け深い」ということは間違いである fact13: もし仮にとあるものは相続しなくて合併し易いということはないならばそれは具有しない fact14: もしもこの裏打ち紙が汚れ難いとすると非公開だ fact15: この白血球除去療法は具有する fact16: 「この裏打ち紙は深めるしそれに情け深い」ということは成り立たない fact17: この白血球除去療法は感じ難い fact18: もし仮にこの白血球除去療法は深めないとしたら「この裏打ち紙は深めるけど情け深いということはない」ということは確かでない fact19: もしも「「突き上がらないかあるいは愛しということはないかもしくは両方ともである」ということは成り立たない」ものがあるならこの恩人はファイナンスしない
fact11 & fact17 -> int1: この白血球除去療法は置き易い; fact3 -> int2: この白血球除去療法は非公開だ; int1 & int2 -> int3: この白血球除去療法が非公開だし置き易い; fact1 -> int4: 仮にこの白血球除去療法が非公開であるししかも置き易いなら深めない; int3 & int4 -> int5: この白血球除去療法は深めない; int5 & fact18 -> hypothesis;
この裏打ち紙は深めるが情け深くない
fact24 -> int6: もしもこの裏打ち紙が感じ難くないとしたら深める一方で情け深くない; fact28 -> int7: 仮にそのバーンアウトが相続しないしさらにそれは合併し易くないとすると具有しない; fact25 & fact20 -> int8: 「その艶感は突き上がるということはないかあるいは愛しないかあるいはどちらもだ」ということは嘘である; int8 -> int9: 「「突き上がらないかまたは愛しないかあるいは両方である」ということは誤っている」ものはある; int9 & fact22 -> int10: この恩人はファイナンスするということはない; fact23 & int10 -> int11: その沿岸域はバスケットボールでないしさらにそれは要さない; fact27 & int11 -> int12: そのバーンアウトは要さない; fact26 & int12 -> int13: そのバーンアウトは相続しないしそれは合併し易いということはない; int7 & int13 -> int14: 「そのバーンアウトは具有しない」ということは正しい; int14 -> int15: とある物は具有しない;
$facts$ = fact1: なにかは非公開でその上それが置き易いとしたらそれは深めない fact2: この裏打ち紙は由々しし内臓する fact3: 「この白血球除去療法は具有するし非公開である」ということは真実だ fact4: 「その納骨式は床土作りだ」ということは正しいとすれば「その艶感は突き上がらないかもしくは愛しない」ということは成り立つということはない fact5: もしもこの恩人がファイナンスしないとするとその沿岸域はバスケットボールでなくてまた要すということはない fact6: もしもその沿岸域がバスケットボールでないし要さないとすればそのバーンアウトは要さない fact7: もし仮になんらかのものが感じ難くないとしたら深めるしおまけに情け深くない fact8: その納骨式は床土作りだ fact9: もしもこの白血球除去療法が非公開でないけれど感じ難いならこの裏打ち紙は感じ難いということはない fact10: 仮にそのバーンアウトが要さないならそれは相続しなくてそれは合併し易くない fact11: もし仮にこの白血球除去療法は感じ難いなら「それは置き易い」ということは真実だ fact12: 仮にこの白血球除去療法は深めないとしたら「この裏打ち紙は深めるし情け深い」ということは間違いである fact13: もし仮にとあるものは相続しなくて合併し易いということはないならばそれは具有しない fact14: もしもこの裏打ち紙が汚れ難いとすると非公開だ fact15: この白血球除去療法は具有する fact16: 「この裏打ち紙は深めるしそれに情け深い」ということは成り立たない fact17: この白血球除去療法は感じ難い fact18: もし仮にこの白血球除去療法は深めないとしたら「この裏打ち紙は深めるけど情け深いということはない」ということは確かでない fact19: もしも「「突き上がらないかあるいは愛しということはないかもしくは両方ともである」ということは成り立たない」ものがあるならこの恩人はファイナンスしない ; $hypothesis$ = 「この裏打ち紙は深めるがしかし情け深くない」ということは事実と異なる ; $proof$ = 
fact11 & fact17 -> int1: この白血球除去療法は置き易い; fact3 -> int2: この白血球除去療法は非公開だ; int1 & int2 -> int3: この白血球除去療法が非公開だし置き易い; fact1 -> int4: 仮にこの白血球除去療法が非公開であるししかも置き易いなら深めない; int3 & int4 -> int5: この白血球除去療法は深めない; int5 & fact18 -> hypothesis; __PROVED__
事実1: なにかは非公開でその上それが置き易いとしたらそれは深めない
事実2: この裏打ち紙は由々しし内臓する
事実3: 「この白血球除去療法は具有するし非公開である」ということは真実だ
事実4: 「その納骨式は床土作りだ」ということは正しいとすれば「その艶感は突き上がらないかもしくは愛しない」ということは成り立つということはない
事実5: もしもこの恩人がファイナンスしないとするとその沿岸域はバスケットボールでなくてまた要すということはない
事実6: もしもその沿岸域がバスケットボールでないし要さないとすればそのバーンアウトは要さない
事実7: もし仮になんらかのものが感じ難くないとしたら深めるしおまけに情け深くない
事実8: その納骨式は床土作りだ
事実9: もしもこの白血球除去療法が非公開でないけれど感じ難いならこの裏打ち紙は感じ難いということはない
事実10: 仮にそのバーンアウトが要さないならそれは相続しなくてそれは合併し易くない
事実11: もし仮にこの白血球除去療法は感じ難いなら「それは置き易い」ということは真実だ
事実12: 仮にこの白血球除去療法は深めないとしたら「この裏打ち紙は深めるし情け深い」ということは間違いである
事実13: もし仮にとあるものは相続しなくて合併し易いということはないならばそれは具有しない
事実14: もしもこの裏打ち紙が汚れ難いとすると非公開だ
事実15: この白血球除去療法は具有する
事実16: 「この裏打ち紙は深めるしそれに情け深い」ということは成り立たない
事実17: この白血球除去療法は感じ難い
事実18: もし仮にこの白血球除去療法は深めないとしたら「この裏打ち紙は深めるけど情け深いということはない」ということは確かでない
事実19: もしも「「突き上がらないかあるいは愛しということはないかもしくは両方ともである」ということは成り立たない」ものがあるならこの恩人はファイナンスしない

仮説: 「この裏打ち紙は深めるがしかし情け深くない」ということは事実と異なる
1. 事実11と事実17から、推論1: "この白血球除去療法は置き易い"が導かれる
2. 事実3から、推論2: "この白血球除去療法は非公開だ"が導かれる
3. 推論1と推論2から、推論3: "この白血球除去療法が非公開だし置き易い"が導かれる
4. 事実1から、推論4: "仮にこの白血球除去療法が非公開であるししかも置き易いなら深めない"が導かれる
5. 推論3と推論4から、推論5: "この白血球除去療法は深めない"が導かれる
6. 推論5と事実18から、仮説が導かれる

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