この民営は宿す
fact1: あの武闘派はごついけれど市場画定でないとすると危うしない fact2: もし仮にこの売り上げ高が危うしならばあの民営は宿す fact3: 「この捨て方は到達し得ない」ということは真実である fact4: この売り上げ高は宿すけど危うしない fact5: その寮母さんは到達し得るということはないかもしくは見せ合うかもしくは両方である fact6: この売り上げ高は到達し得る fact7: あの箱船は投稿しない fact8: もし仮に「ある物は危うしないがしかしそれは投稿する」ということは本当でないならば投稿するということはない fact9: なんらかのものは各議院でないなら「危うしないし投稿する」ということは本当でない fact10: もしもこの売り上げ高が各議院でないかまたは危うしならこの民営は宿す fact11: この民営は伸ばし易くないかまたは危うしかもしくはどちらもである fact12: もしもその整数除算は投稿しないとしたら「この売り上げ高は到達し得ない一方で宿す」ということは間違いだ fact13: もし仮に何らかのものは曲でないかまたは理屈っぽいかもしくは両方であるとすればそれは各議院でない fact14: この売り上げ高は投稿しない fact15: この民営は危うしということはないかまたは投稿するかもしくは両方ともだとすると「この売り上げ高は宿す」ということは真実である fact16: 仮にある物が到達し得る一方で投稿しないとしたら各議院でない fact17: その純額は到達し得ないかまたは講和するかあるいは両方だ fact18: この民営は変わり易い fact19: この民営は投稿する fact20: 「この民営は到達し得ない」ということは本当だ
fact6 & fact14 -> int1: この売り上げ高は到達し得るがしかし投稿しない; fact16 -> int2: もし仮にこの売り上げ高は到達し得るがしかし投稿しないとすればそれは各議院でない; int1 & int2 -> int3: この売り上げ高は各議院でない; int3 -> int4: この売り上げ高は各議院でないかそれは危うし; int4 & fact10 -> hypothesis;
この民営は宿さない
fact21 -> int5: 「その整数除算は危うしということはないけど投稿する」ということは成り立たないとしたらそれは投稿しない; fact22 -> int6: もし仮にその整数除算は各議院でないとすると「それは危うしないしその上投稿する」ということは成り立たない; fact23 -> int7: もしその整数除算が曲でないかあるいは理屈っぽいならそれは各議院でない;
$facts$ = fact1: あの武闘派はごついけれど市場画定でないとすると危うしない fact2: もし仮にこの売り上げ高が危うしならばあの民営は宿す fact3: 「この捨て方は到達し得ない」ということは真実である fact4: この売り上げ高は宿すけど危うしない fact5: その寮母さんは到達し得るということはないかもしくは見せ合うかもしくは両方である fact6: この売り上げ高は到達し得る fact7: あの箱船は投稿しない fact8: もし仮に「ある物は危うしないがしかしそれは投稿する」ということは本当でないならば投稿するということはない fact9: なんらかのものは各議院でないなら「危うしないし投稿する」ということは本当でない fact10: もしもこの売り上げ高が各議院でないかまたは危うしならこの民営は宿す fact11: この民営は伸ばし易くないかまたは危うしかもしくはどちらもである fact12: もしもその整数除算は投稿しないとしたら「この売り上げ高は到達し得ない一方で宿す」ということは間違いだ fact13: もし仮に何らかのものは曲でないかまたは理屈っぽいかもしくは両方であるとすればそれは各議院でない fact14: この売り上げ高は投稿しない fact15: この民営は危うしということはないかまたは投稿するかもしくは両方ともだとすると「この売り上げ高は宿す」ということは真実である fact16: 仮にある物が到達し得る一方で投稿しないとしたら各議院でない fact17: その純額は到達し得ないかまたは講和するかあるいは両方だ fact18: この民営は変わり易い fact19: この民営は投稿する fact20: 「この民営は到達し得ない」ということは本当だ ; $hypothesis$ = この民営は宿す ; $proof$ = 
fact6 & fact14 -> int1: この売り上げ高は到達し得るがしかし投稿しない; fact16 -> int2: もし仮にこの売り上げ高は到達し得るがしかし投稿しないとすればそれは各議院でない; int1 & int2 -> int3: この売り上げ高は各議院でない; int3 -> int4: この売り上げ高は各議院でないかそれは危うし; int4 & fact10 -> hypothesis; __PROVED__
事実1: あの武闘派はごついけれど市場画定でないとすると危うしない
事実2: もし仮にこの売り上げ高が危うしならばあの民営は宿す
事実3: 「この捨て方は到達し得ない」ということは真実である
事実4: この売り上げ高は宿すけど危うしない
事実5: その寮母さんは到達し得るということはないかもしくは見せ合うかもしくは両方である
事実6: この売り上げ高は到達し得る
事実7: あの箱船は投稿しない
事実8: もし仮に「ある物は危うしないがしかしそれは投稿する」ということは本当でないならば投稿するということはない
事実9: なんらかのものは各議院でないなら「危うしないし投稿する」ということは本当でない
事実10: もしもこの売り上げ高が各議院でないかまたは危うしならこの民営は宿す
事実11: この民営は伸ばし易くないかまたは危うしかもしくはどちらもである
事実12: もしもその整数除算は投稿しないとしたら「この売り上げ高は到達し得ない一方で宿す」ということは間違いだ
事実13: もし仮に何らかのものは曲でないかまたは理屈っぽいかもしくは両方であるとすればそれは各議院でない
事実14: この売り上げ高は投稿しない
事実15: この民営は危うしということはないかまたは投稿するかもしくは両方ともだとすると「この売り上げ高は宿す」ということは真実である
事実16: 仮にある物が到達し得る一方で投稿しないとしたら各議院でない
事実17: その純額は到達し得ないかまたは講和するかあるいは両方だ
事実18: この民営は変わり易い
事実19: この民営は投稿する
事実20: 「この民営は到達し得ない」ということは本当だ

仮説: この民営は宿す
1. 事実6と事実14から、推論1: "この売り上げ高は到達し得るがしかし投稿しない"が導かれる
2. 事実16から、推論2: "もし仮にこの売り上げ高は到達し得るがしかし投稿しないとすればそれは各議院でない"が導かれる
3. 推論1と推論2から、推論3: "この売り上げ高は各議院でない"が導かれる
4. 推論3から、推論4: "この売り上げ高は各議院でないかそれは危うし"が導かれる
5. 推論4と事実10から、仮説が導かれる

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