「その三時間以内は五十万円未満だ」ということは確かだ
fact1: もし社長方針が止めど無いならばあの二位以下は呼び入れない fact2: 彼らしくない物は五十万円未満でない fact3: もし仮になにかは彼らしいならその各パラメータが夜回りだけど同調するということはない fact4: 人車は呼び入れる fact5: 仮にその三時間以内が夜回りであるならばあの各パラメータは止めど無い fact6: もし仮にその電流計は切ないなら「あのインド洋は噛み砕く一方で馴れ馴れしくない」ということは事実と異なる fact7: 「そのマジェスティは社長方針でないとすると「この二位以下は五十万円未満でないが止めど無い」ということは成り立たない」ということは成り立つ fact8: なにがしかのものは彼らしい fact9: もしもその各パラメータが彼らしいけど同調しないならその三時間以内は彼らしくない fact10: もし「この二位以下は五十万円未満でない一方で止めど無い」ということは間違いであるとしたらこのバリカタンは人車だということはない fact11: この二位以下は呼び入れないならば「このバリカタンは人間らしいし人車だ」ということは成り立たない fact12: 止めど無い物は五十万円未満である fact13: もし夜回りが同調しないならばこのバリカタンは人間らしい fact14: もし仮になんらかのものは人車であるということはないならば「人間らしいし加えてそれは同調する」ということは成り立たない fact15: もし仮にその各パラメータが夜回りでないならばあの三時間以内は呼び入れるし彼らしい fact16: もし仮にこの二位以下が呼び入れればその三時間以内は止めど無い fact17: もし仮にこのバリカタンが人間らしいならばこの二位以下は人車である
fact8 & fact3 -> int1: その各パラメータは夜回りだけど同調しない; int1 -> int2: 「夜回りだし同調しない」物はある; int2 & fact13 -> int3: このバリカタンは人間らしい; int3 & fact17 -> int4: この二位以下は人車である; fact4 -> int5: もし「この二位以下は人車である」ということは事実だとしたら呼び入れる; int4 & int5 -> int6: この二位以下は呼び入れる; int6 & fact16 -> int7: その三時間以内は止めど無い; fact12 -> int8: もし仮にその三時間以内が止めど無いとするとそれは五十万円未満である; int7 & int8 -> hypothesis;
その三時間以内は五十万円未満でない
fact21 -> int9: もし仮にその三時間以内が彼らしくないとしたら五十万円未満でない;
$facts$ = fact1: もし社長方針が止めど無いならばあの二位以下は呼び入れない fact2: 彼らしくない物は五十万円未満でない fact3: もし仮になにかは彼らしいならその各パラメータが夜回りだけど同調するということはない fact4: 人車は呼び入れる fact5: 仮にその三時間以内が夜回りであるならばあの各パラメータは止めど無い fact6: もし仮にその電流計は切ないなら「あのインド洋は噛み砕く一方で馴れ馴れしくない」ということは事実と異なる fact7: 「そのマジェスティは社長方針でないとすると「この二位以下は五十万円未満でないが止めど無い」ということは成り立たない」ということは成り立つ fact8: なにがしかのものは彼らしい fact9: もしもその各パラメータが彼らしいけど同調しないならその三時間以内は彼らしくない fact10: もし「この二位以下は五十万円未満でない一方で止めど無い」ということは間違いであるとしたらこのバリカタンは人車だということはない fact11: この二位以下は呼び入れないならば「このバリカタンは人間らしいし人車だ」ということは成り立たない fact12: 止めど無い物は五十万円未満である fact13: もし夜回りが同調しないならばこのバリカタンは人間らしい fact14: もし仮になんらかのものは人車であるということはないならば「人間らしいし加えてそれは同調する」ということは成り立たない fact15: もし仮にその各パラメータが夜回りでないならばあの三時間以内は呼び入れるし彼らしい fact16: もし仮にこの二位以下が呼び入れればその三時間以内は止めど無い fact17: もし仮にこのバリカタンが人間らしいならばこの二位以下は人車である ; $hypothesis$ = 「その三時間以内は五十万円未満だ」ということは確かだ ; $proof$ = 
fact8 & fact3 -> int1: その各パラメータは夜回りだけど同調しない; int1 -> int2: 「夜回りだし同調しない」物はある; int2 & fact13 -> int3: このバリカタンは人間らしい; int3 & fact17 -> int4: この二位以下は人車である; fact4 -> int5: もし「この二位以下は人車である」ということは事実だとしたら呼び入れる; int4 & int5 -> int6: この二位以下は呼び入れる; int6 & fact16 -> int7: その三時間以内は止めど無い; fact12 -> int8: もし仮にその三時間以内が止めど無いとするとそれは五十万円未満である; int7 & int8 -> hypothesis; __PROVED__
事実1: もし社長方針が止めど無いならばあの二位以下は呼び入れない
事実2: 彼らしくない物は五十万円未満でない
事実3: もし仮になにかは彼らしいならその各パラメータが夜回りだけど同調するということはない
事実4: 人車は呼び入れる
事実5: 仮にその三時間以内が夜回りであるならばあの各パラメータは止めど無い
事実6: もし仮にその電流計は切ないなら「あのインド洋は噛み砕く一方で馴れ馴れしくない」ということは事実と異なる
事実7: 「そのマジェスティは社長方針でないとすると「この二位以下は五十万円未満でないが止めど無い」ということは成り立たない」ということは成り立つ
事実8: なにがしかのものは彼らしい
事実9: もしもその各パラメータが彼らしいけど同調しないならその三時間以内は彼らしくない
事実10: もし「この二位以下は五十万円未満でない一方で止めど無い」ということは間違いであるとしたらこのバリカタンは人車だということはない
事実11: この二位以下は呼び入れないならば「このバリカタンは人間らしいし人車だ」ということは成り立たない
事実12: 止めど無い物は五十万円未満である
事実13: もし夜回りが同調しないならばこのバリカタンは人間らしい
事実14: もし仮になんらかのものは人車であるということはないならば「人間らしいし加えてそれは同調する」ということは成り立たない
事実15: もし仮にその各パラメータが夜回りでないならばあの三時間以内は呼び入れるし彼らしい
事実16: もし仮にこの二位以下が呼び入れればその三時間以内は止めど無い
事実17: もし仮にこのバリカタンが人間らしいならばこの二位以下は人車である

仮説: 「その三時間以内は五十万円未満だ」ということは確かだ
1. 事実8と事実3から、推論1: "その各パラメータは夜回りだけど同調しない"が導かれる
2. 推論1から、推論2: "「夜回りだし同調しない」物はある"が導かれる
3. 推論2と事実13から、推論3: "このバリカタンは人間らしい"が導かれる
4. 推論3と事実17から、推論4: "この二位以下は人車である"が導かれる
5. 事実4から、推論5: "もし「この二位以下は人車である」ということは事実だとしたら呼び入れる"が導かれる
6. 推論4と推論5から、推論6: "この二位以下は呼び入れる"が導かれる
7. 推論6と事実16から、推論7: "その三時間以内は止めど無い"が導かれる
8. 事実12から、推論8: "もし仮にその三時間以内が止めど無いとするとそれは五十万円未満である"が導かれる
9. 推論7と推論8から、仮説が導かれる

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