この引き割りは上がり易い
fact1: もしその船名が拡大表示しないしかつ憎たらしくないとしたらその民俗学は一号被保険者だ fact2: もしもあの十八日発行が主管するとすれば期し難い fact3: もし仮にあの十八日発行は期し難いということはないならば「その民俗学は在廷しないかまたはそれはか細くない」ということは嘘である fact4: もしその船名は一号被保険者でないならそれは在廷しないけれど憎たらしい fact5: もしもその船名が憎たらしいならばこの引き割りは拡大表示するけれど上がり易くない fact6: もしその船名が在廷しない一方で憎たらしいとすると「この補助金問題は憎たらしくない」ということは成り立つ fact7: その会報等は主管する fact8: その船名は憎たらしくない fact9: もしもその民俗学が一号被保険者であるかまたは在廷しないとするとあの十八日発行はか細いということはない fact10: あの十八日発行は主管する fact11: もしもあの十八日発行が期し難いとしたらか細い fact12: もしも「なんらかのものは期し難いけれど上がり易くない」ということは嘘なら一号被保険者でない fact13: その船名が拡大表示するとしたらこの引き割りは上がり易い fact14: その民俗学は憎たらしいか一号被保険者でない fact15: とあるものは主管しないならば「それは期し難いけれど上がり易いということはない」ということは間違いである
void -> assump1: 以下のように仮定する。その船名は拡大表示しない; assump1 & fact8 -> int1: その船名は拡大表示するということはなくて憎たらしくない; int1 & fact1 -> int2: その民俗学は一号被保険者だ; int2 -> int3: その民俗学は一号被保険者であるかもしくは在廷するということはない; int3 & fact9 -> int4: あの十八日発行はか細くない; fact2 & fact10 -> int5: あの十八日発行は期し難い; int5 & fact11 -> int6: あの十八日発行はか細い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その船名は拡大表示する; int8 & fact13 -> hypothesis;
この引き割りは上がり易くない
$facts$ = fact1: もしその船名が拡大表示しないしかつ憎たらしくないとしたらその民俗学は一号被保険者だ fact2: もしもあの十八日発行が主管するとすれば期し難い fact3: もし仮にあの十八日発行は期し難いということはないならば「その民俗学は在廷しないかまたはそれはか細くない」ということは嘘である fact4: もしその船名は一号被保険者でないならそれは在廷しないけれど憎たらしい fact5: もしもその船名が憎たらしいならばこの引き割りは拡大表示するけれど上がり易くない fact6: もしその船名が在廷しない一方で憎たらしいとすると「この補助金問題は憎たらしくない」ということは成り立つ fact7: その会報等は主管する fact8: その船名は憎たらしくない fact9: もしもその民俗学が一号被保険者であるかまたは在廷しないとするとあの十八日発行はか細いということはない fact10: あの十八日発行は主管する fact11: もしもあの十八日発行が期し難いとしたらか細い fact12: もしも「なんらかのものは期し難いけれど上がり易くない」ということは嘘なら一号被保険者でない fact13: その船名が拡大表示するとしたらこの引き割りは上がり易い fact14: その民俗学は憎たらしいか一号被保険者でない fact15: とあるものは主管しないならば「それは期し難いけれど上がり易いということはない」ということは間違いである ; $hypothesis$ = この引き割りは上がり易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その船名は拡大表示しない; assump1 & fact8 -> int1: その船名は拡大表示するということはなくて憎たらしくない; int1 & fact1 -> int2: その民俗学は一号被保険者だ; int2 -> int3: その民俗学は一号被保険者であるかもしくは在廷するということはない; int3 & fact9 -> int4: あの十八日発行はか細くない; fact2 & fact10 -> int5: あの十八日発行は期し難い; int5 & fact11 -> int6: あの十八日発行はか細い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その船名は拡大表示する; int8 & fact13 -> hypothesis; __PROVED__
事実1: もしその船名が拡大表示しないしかつ憎たらしくないとしたらその民俗学は一号被保険者だ
事実2: もしもあの十八日発行が主管するとすれば期し難い
事実3: もし仮にあの十八日発行は期し難いということはないならば「その民俗学は在廷しないかまたはそれはか細くない」ということは嘘である
事実4: もしその船名は一号被保険者でないならそれは在廷しないけれど憎たらしい
事実5: もしもその船名が憎たらしいならばこの引き割りは拡大表示するけれど上がり易くない
事実6: もしその船名が在廷しない一方で憎たらしいとすると「この補助金問題は憎たらしくない」ということは成り立つ
事実7: その会報等は主管する
事実8: その船名は憎たらしくない
事実9: もしもその民俗学が一号被保険者であるかまたは在廷しないとするとあの十八日発行はか細いということはない
事実10: あの十八日発行は主管する
事実11: もしもあの十八日発行が期し難いとしたらか細い
事実12: もしも「なんらかのものは期し難いけれど上がり易くない」ということは嘘なら一号被保険者でない
事実13: その船名が拡大表示するとしたらこの引き割りは上がり易い
事実14: その民俗学は憎たらしいか一号被保険者でない
事実15: とあるものは主管しないならば「それは期し難いけれど上がり易いということはない」ということは間違いである

仮説: この引き割りは上がり易い
1. 仮定1: 以下のように仮定する。その船名は拡大表示しない
2. 仮定1と事実8から、推論1: "その船名は拡大表示するということはなくて憎たらしくない"が導かれる
3. 推論1と事実1から、推論2: "その民俗学は一号被保険者だ"が導かれる
4. 推論2から、推論3: "その民俗学は一号被保険者であるかもしくは在廷するということはない"が導かれる
5. 推論3と事実9から、推論4: "あの十八日発行はか細くない"が導かれる
6. 事実2と事実10から、推論5: "あの十八日発行は期し難い"が導かれる
7. 推論5と事実11から、推論6: "あの十八日発行はか細い"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その船名は拡大表示する"が導かれる
10. 推論8と事実13から、仮説が導かれる

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