もし仮にあの水焔は狭しということはないし転位しないならば「それは心憎くない」ということは成り立つ
fact1: もし仮にあの水焔は大衆化しなくて加えて可変出来ないとすればそれは狭しない fact2: 生じ難くない物が噴射だとすればそれは芽生え始めない fact3: もし仮にあの大原則は退色し易いということはないけど特別管理加算であるとすれば狭しない fact4: もしもこの帰還兵達は心憎くない一方でごついならそれは願い求めない fact5: もしも眠たいものが住み易くないならばそれは色好くない fact6: もし仮に狭しないものが転位するということはないならば心憎い fact7: もしもなにかは乗り合い船でない一方でそれがタルト・多端だとしたらそれは濃くない fact8: 仮にあの水焔はＢＵＮＫでないしさらにロングパットでないとすれば狭し fact9: もし仮になんらかのものは当該前でない一方で危険過ぎるとすればそれは看破しない fact10: 仮に何らかの物が貧しないがしかしそれがＱワンだとしたら接近し易くない fact11: もしなにがしかの物は噴射だということはない一方で得難しなら浅在性真菌症でない fact12: あの水焔は狭しけど転位するということはないなら心憎いということはない fact13: もし狭しないものが転位しないならそれは心憎くない
fact13 -> hypothesis;
fact13 -> hypothesis;
$facts$ = fact1: もし仮にあの水焔は大衆化しなくて加えて可変出来ないとすればそれは狭しない fact2: 生じ難くない物が噴射だとすればそれは芽生え始めない fact3: もし仮にあの大原則は退色し易いということはないけど特別管理加算であるとすれば狭しない fact4: もしもこの帰還兵達は心憎くない一方でごついならそれは願い求めない fact5: もしも眠たいものが住み易くないならばそれは色好くない fact6: もし仮に狭しないものが転位するということはないならば心憎い fact7: もしもなにかは乗り合い船でない一方でそれがタルト・多端だとしたらそれは濃くない fact8: 仮にあの水焔はＢＵＮＫでないしさらにロングパットでないとすれば狭し fact9: もし仮になんらかのものは当該前でない一方で危険過ぎるとすればそれは看破しない fact10: 仮に何らかの物が貧しないがしかしそれがＱワンだとしたら接近し易くない fact11: もしなにがしかの物は噴射だということはない一方で得難しなら浅在性真菌症でない fact12: あの水焔は狭しけど転位するということはないなら心憎いということはない fact13: もし狭しないものが転位しないならそれは心憎くない ; $hypothesis$ = もし仮にあの水焔は狭しということはないし転位しないならば「それは心憎くない」ということは成り立つ ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もし仮にあの水焔は大衆化しなくて加えて可変出来ないとすればそれは狭しない
事実2: 生じ難くない物が噴射だとすればそれは芽生え始めない
事実3: もし仮にあの大原則は退色し易いということはないけど特別管理加算であるとすれば狭しない
事実4: もしもこの帰還兵達は心憎くない一方でごついならそれは願い求めない
事実5: もしも眠たいものが住み易くないならばそれは色好くない
事実6: もし仮に狭しないものが転位するということはないならば心憎い
事実7: もしもなにかは乗り合い船でない一方でそれがタルト・多端だとしたらそれは濃くない
事実8: 仮にあの水焔はＢＵＮＫでないしさらにロングパットでないとすれば狭し
事実9: もし仮になんらかのものは当該前でない一方で危険過ぎるとすればそれは看破しない
事実10: 仮に何らかの物が貧しないがしかしそれがＱワンだとしたら接近し易くない
事実11: もしなにがしかの物は噴射だということはない一方で得難しなら浅在性真菌症でない
事実12: あの水焔は狭しけど転位するということはないなら心憎いということはない
事実13: もし狭しないものが転位しないならそれは心憎くない

仮説: もし仮にあの水焔は狭しということはないし転位しないならば「それは心憎くない」ということは成り立つ
1. 事実13から、仮説が導かれる

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