この局内は素人っぽくない
fact1: この局内が素人っぽくないとしたら掛けしなくてしかも勉強し為さらない fact2: もし仮にある物が掛けしないとするとそれは線引きするしおまけに郵便受けである fact3: 「「この四百ミリリットル全血採血は能書家であるか嫌悪顔であるか両方ともである」ということは本当だということはない」ということは成り立つ fact4: もしもこの局内は勉強し為さらないならそれは避け難くない fact5: もしなんらかの物が取り囲まないとするとそれは無力化する fact6: あのローマ時代は一定規模以上でない fact7: このばあさんは一定規模以上である fact8: その鱒は嫌悪顔でない fact9: この局内は新人類だということはなくて加えて抗い難いということはない fact10: とあるものが霊魂達だということはないならそれは訓練計画でなくてＬＡでない fact11: あの自棄酒が郵便受けでないならばこの局内は線引きするし更に掛けする fact12: 合併し易くない物は取り合わせる fact13: 吊り易くないものは素人っぽくないが如此し fact14: もしも「「この四百ミリリットル全血採血は能書家であるかもしくは嫌悪顔であるかどちらもだ」ということは事実である」ということは偽だとしたらそれは一定規模以上でない fact15: 一定規模以上は素人っぽい fact16: この四百ミリリットル全血採血は繋がり易い fact17: もし仮に「なにかは一定規模以上でない」ということは本当だとしたら歩き難くなくて勉強し為さらない fact18: もしも何らかの物は掛けするとすれば「一定規模以上である」ということは成り立つ fact19: この局内は嫌悪顔でない fact20: 「この昭和三十年代後半は嫌悪顔でない一方でそれは繁殖し易い」ということは事実である fact21: もしもなにがしかのものが応じ得ないならばそれは用心深いということはないがしかしめんど臭い fact22: 「とある物は線引きするし郵便受けだ」ということは成り立てばそれは吊り易いということはない fact23: もし仮にこの四百ミリリットル全血採血が歩き難くないし勉強し為さらないならばこの局内は掛けしない fact24: もし「この局内は一定規模以上であるかまたは如此し」ということは確かであるということはないならばそれは掛けしない
fact17 -> int1: この四百ミリリットル全血採血は一定規模以上でないとするとそれは歩き難くないしかつ勉強し為さらない; fact3 & fact14 -> int2: 「この四百ミリリットル全血採血は一定規模以上でない」ということは成り立つ; int1 & int2 -> int3: この四百ミリリットル全血採血は歩き難くなくて勉強し為さらない; int3 & fact23 -> int4: この局内は掛けするということはない; fact2 -> int5: もしもこの局内が掛けしないならそれは線引きするし郵便受けである; int4 & int5 -> int6: この局内は線引きするしその上郵便受けである; fact22 -> int7: もし仮にこの局内は線引きするし更に郵便受けであるとすれば吊り易くない; int6 & int7 -> int8: この局内は吊り易くない; fact13 -> int9: もし仮にこの局内が吊り易くないとしたらそれは素人っぽくないし如此し; int8 & int9 -> int10: この局内は素人っぽいということはないけど如此し; int10 -> hypothesis;
「この局内は素人っぽい」ということは成り立つ
fact25 -> int11: もしこの局内は一定規模以上であるとしたらそれは素人っぽい; fact26 -> int12: もしもこの局内が掛けすれば一定規模以上だ;
$facts$ = fact1: この局内が素人っぽくないとしたら掛けしなくてしかも勉強し為さらない fact2: もし仮にある物が掛けしないとするとそれは線引きするしおまけに郵便受けである fact3: 「「この四百ミリリットル全血採血は能書家であるか嫌悪顔であるか両方ともである」ということは本当だということはない」ということは成り立つ fact4: もしもこの局内は勉強し為さらないならそれは避け難くない fact5: もしなんらかの物が取り囲まないとするとそれは無力化する fact6: あのローマ時代は一定規模以上でない fact7: このばあさんは一定規模以上である fact8: その鱒は嫌悪顔でない fact9: この局内は新人類だということはなくて加えて抗い難いということはない fact10: とあるものが霊魂達だということはないならそれは訓練計画でなくてＬＡでない fact11: あの自棄酒が郵便受けでないならばこの局内は線引きするし更に掛けする fact12: 合併し易くない物は取り合わせる fact13: 吊り易くないものは素人っぽくないが如此し fact14: もしも「「この四百ミリリットル全血採血は能書家であるかもしくは嫌悪顔であるかどちらもだ」ということは事実である」ということは偽だとしたらそれは一定規模以上でない fact15: 一定規模以上は素人っぽい fact16: この四百ミリリットル全血採血は繋がり易い fact17: もし仮に「なにかは一定規模以上でない」ということは本当だとしたら歩き難くなくて勉強し為さらない fact18: もしも何らかの物は掛けするとすれば「一定規模以上である」ということは成り立つ fact19: この局内は嫌悪顔でない fact20: 「この昭和三十年代後半は嫌悪顔でない一方でそれは繁殖し易い」ということは事実である fact21: もしもなにがしかのものが応じ得ないならばそれは用心深いということはないがしかしめんど臭い fact22: 「とある物は線引きするし郵便受けだ」ということは成り立てばそれは吊り易いということはない fact23: もし仮にこの四百ミリリットル全血採血が歩き難くないし勉強し為さらないならばこの局内は掛けしない fact24: もし「この局内は一定規模以上であるかまたは如此し」ということは確かであるということはないならばそれは掛けしない ; $hypothesis$ = この局内は素人っぽくない ; $proof$ = 
fact17 -> int1: この四百ミリリットル全血採血は一定規模以上でないとするとそれは歩き難くないしかつ勉強し為さらない; fact3 & fact14 -> int2: 「この四百ミリリットル全血採血は一定規模以上でない」ということは成り立つ; int1 & int2 -> int3: この四百ミリリットル全血採血は歩き難くなくて勉強し為さらない; int3 & fact23 -> int4: この局内は掛けするということはない; fact2 -> int5: もしもこの局内が掛けしないならそれは線引きするし郵便受けである; int4 & int5 -> int6: この局内は線引きするしその上郵便受けである; fact22 -> int7: もし仮にこの局内は線引きするし更に郵便受けであるとすれば吊り易くない; int6 & int7 -> int8: この局内は吊り易くない; fact13 -> int9: もし仮にこの局内が吊り易くないとしたらそれは素人っぽくないし如此し; int8 & int9 -> int10: この局内は素人っぽいということはないけど如此し; int10 -> 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: もし仮にこの四百ミリリットル全血採血が歩き難くないし勉強し為さらないならばこの局内は掛けしない
事実24: もし「この局内は一定規模以上であるかまたは如此し」ということは確かであるということはないならばそれは掛けしない

仮説: この局内は素人っぽくない
1. 事実17から、推論1: "この四百ミリリットル全血採血は一定規模以上でないとするとそれは歩き難くないしかつ勉強し為さらない"が導かれる
2. 事実3と事実14から、推論2: "「この四百ミリリットル全血採血は一定規模以上でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この四百ミリリットル全血採血は歩き難くなくて勉強し為さらない"が導かれる
4. 推論3と事実23から、推論4: "この局内は掛けするということはない"が導かれる
5. 事実2から、推論5: "もしもこの局内が掛けしないならそれは線引きするし郵便受けである"が導かれる
6. 推論4と推論5から、推論6: "この局内は線引きするしその上郵便受けである"が導かれる
7. 事実22から、推論7: "もし仮にこの局内は線引きするし更に郵便受けであるとすれば吊り易くない"が導かれる
8. 推論6と推論7から、推論8: "この局内は吊り易くない"が導かれる
9. 事実13から、推論9: "もし仮にこの局内が吊り易くないとしたらそれは素人っぽくないし如此し"が導かれる
10. 推論8と推論9から、推論10: "この局内は素人っぽいということはないけど如此し"が導かれる
11. 推論10から、仮説が導かれる

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