あのκＰＨは広がり易い
fact1: なにがしかのものが許し難くないとすればそれは共有持分であるし更にそれは辛気臭くない fact2: あのκＰＨは実施中だ fact3: もしあのκＰＨが見分け難くないならそれは努めるしかつやくざっぽくない fact4: あのκＰＨは方針転換でないがしかし実施中だ fact5: 「あのκＰＨは一望出来ない」ということは偽でない fact6: もしも何かは方針転換でない一方で実施中であるとすれば「芽生え始める」ということは事実だ fact7: 仮にこの関連法人がださくないかまたはそれは敢え無くないか両方だとするとそれは敢え無くない fact8: もし仮になにかは許し難くないとすると「辛気臭くない」ということは間違っていない fact9: もしこの関連法人が敢え無くないとしたらそれは辛気臭いかまたは寓意でない fact10: あの合宿生活は暖房するかもしくはそれは方針転換であるかまたは両方である fact11: 仮にあのκＰＨが芽生え始めるかまたは顔するかもしくは両方ならばそれは許し難くない fact12: もしもあの神経心理テストが辛気臭くないとしたらあの北極星は共有持分でないがしかし許し難し fact13: この関連法人が辛気臭いかあるいは寓意でないかまたは両方だとするとあの神経心理テストは辛気臭くない fact14: もしあのκＰＨはさ迷わないが雪崩れ込めばそれは解き解す fact15: 共有持分は広がり易い
fact6 -> int1: もしもあのκＰＨが方針転換でない一方で実施中ならば芽生え始める; int1 & fact4 -> int2: あのκＰＨは芽生え始める; int2 -> int3: あのκＰＨは芽生え始めるかもしくは顔するかあるいは両方だ; int3 & fact11 -> int4: あのκＰＨは許し難くない; fact1 -> int5: もしあのκＰＨが許し難くないとしたらそれは共有持分であるしそれは辛気臭いということはない; int4 & int5 -> int6: あのκＰＨは共有持分であるけれど辛気臭くない; int6 -> int7: あのκＰＨは共有持分である; fact15 -> int8: もし仮にあのκＰＨは共有持分であるとすればそれは広がり易い; int7 & int8 -> hypothesis;
あのκＰＨは広がり易くない
$facts$ = fact1: なにがしかのものが許し難くないとすればそれは共有持分であるし更にそれは辛気臭くない fact2: あのκＰＨは実施中だ fact3: もしあのκＰＨが見分け難くないならそれは努めるしかつやくざっぽくない fact4: あのκＰＨは方針転換でないがしかし実施中だ fact5: 「あのκＰＨは一望出来ない」ということは偽でない fact6: もしも何かは方針転換でない一方で実施中であるとすれば「芽生え始める」ということは事実だ fact7: 仮にこの関連法人がださくないかまたはそれは敢え無くないか両方だとするとそれは敢え無くない fact8: もし仮になにかは許し難くないとすると「辛気臭くない」ということは間違っていない fact9: もしこの関連法人が敢え無くないとしたらそれは辛気臭いかまたは寓意でない fact10: あの合宿生活は暖房するかもしくはそれは方針転換であるかまたは両方である fact11: 仮にあのκＰＨが芽生え始めるかまたは顔するかもしくは両方ならばそれは許し難くない fact12: もしもあの神経心理テストが辛気臭くないとしたらあの北極星は共有持分でないがしかし許し難し fact13: この関連法人が辛気臭いかあるいは寓意でないかまたは両方だとするとあの神経心理テストは辛気臭くない fact14: もしあのκＰＨはさ迷わないが雪崩れ込めばそれは解き解す fact15: 共有持分は広がり易い ; $hypothesis$ = あのκＰＨは広がり易い ; $proof$ = 
fact6 -> int1: もしもあのκＰＨが方針転換でない一方で実施中ならば芽生え始める; int1 & fact4 -> int2: あのκＰＨは芽生え始める; int2 -> int3: あのκＰＨは芽生え始めるかもしくは顔するかあるいは両方だ; int3 & fact11 -> int4: あのκＰＨは許し難くない; fact1 -> int5: もしあのκＰＨが許し難くないとしたらそれは共有持分であるしそれは辛気臭いということはない; int4 & int5 -> int6: あのκＰＨは共有持分であるけれど辛気臭くない; int6 -> int7: あのκＰＨは共有持分である; fact15 -> int8: もし仮にあのκＰＨは共有持分であるとすればそれは広がり易い; int7 & int8 -> hypothesis; __PROVED__
事実1: なにがしかのものが許し難くないとすればそれは共有持分であるし更にそれは辛気臭くない
事実2: あのκＰＨは実施中だ
事実3: もしあのκＰＨが見分け難くないならそれは努めるしかつやくざっぽくない
事実4: あのκＰＨは方針転換でないがしかし実施中だ
事実5: 「あのκＰＨは一望出来ない」ということは偽でない
事実6: もしも何かは方針転換でない一方で実施中であるとすれば「芽生え始める」ということは事実だ
事実7: 仮にこの関連法人がださくないかまたはそれは敢え無くないか両方だとするとそれは敢え無くない
事実8: もし仮になにかは許し難くないとすると「辛気臭くない」ということは間違っていない
事実9: もしこの関連法人が敢え無くないとしたらそれは辛気臭いかまたは寓意でない
事実10: あの合宿生活は暖房するかもしくはそれは方針転換であるかまたは両方である
事実11: 仮にあのκＰＨが芽生え始めるかまたは顔するかもしくは両方ならばそれは許し難くない
事実12: もしもあの神経心理テストが辛気臭くないとしたらあの北極星は共有持分でないがしかし許し難し
事実13: この関連法人が辛気臭いかあるいは寓意でないかまたは両方だとするとあの神経心理テストは辛気臭くない
事実14: もしあのκＰＨはさ迷わないが雪崩れ込めばそれは解き解す
事実15: 共有持分は広がり易い

仮説: あのκＰＨは広がり易い
1. 事実6から、推論1: "もしもあのκＰＨが方針転換でない一方で実施中ならば芽生え始める"が導かれる
2. 推論1と事実4から、推論2: "あのκＰＨは芽生え始める"が導かれる
3. 推論2から、推論3: "あのκＰＨは芽生え始めるかもしくは顔するかあるいは両方だ"が導かれる
4. 推論3と事実11から、推論4: "あのκＰＨは許し難くない"が導かれる
5. 事実1から、推論5: "もしあのκＰＨが許し難くないとしたらそれは共有持分であるしそれは辛気臭いということはない"が導かれる
6. 推論4と推論5から、推論6: "あのκＰＨは共有持分であるけれど辛気臭くない"が導かれる
7. 推論6から、推論7: "あのκＰＨは共有持分である"が導かれる
8. 事実15から、推論8: "もし仮にあのκＰＨは共有持分であるとすればそれは広がり易い"が導かれる
9. 推論7と推論8から、仮説が導かれる

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