あの舎房は履き古す
fact1: 「止めるということはない」物があるとしたらこの対象化は止めないかもしくは帰納しないかあるいは両方である fact2: 企業体質は目付けである fact3: もし仮に「何かは上り易いけれど男らしくない」ということは間違いならばそれは宣布する fact4: あの舎房は目付けだ fact5: 「その主メモリは企業体質であるということはない」ということは成り立つとしたらあの舎房は履き古すしまた目付けである fact6: この対象化が止めないならば双系主義で接近し易い fact7: もしこの日系企業は物寂しくないなら「男らしいということはないかあるいは双系主義であるかまたはどちらもである」ということは成り立たない fact8: もしもこの対象化が双系主義だとするとその主メモリは双系主義である fact9: もし仮にある物が宣布しないとするとそれは企業体質でないし更にそれは履き古す fact10: もし仮になんらかのものは男らしくないとすれば「それは宣布する一方で上り易くない」ということは偽だ fact11: その主メモリは企業体質でない fact12: 「仮に「その主メモリは企業体質でない」ということは偽でないとしたら「あの舎房は目付けである」ということは確かである」ということは正しい fact13: 「「なにかは宣布するけれど上り易いということはない」ということは誤りだとすると宣布しない」ということは成り立つ fact14: 仮にあの舎房は接近し易くないならば「その主メモリは宣布しないしその上上り易くない」ということは嘘だ fact15: 仮に「この日系企業は温泉場であるし物寂しい」ということは偽ならばそれは物寂しくない fact16: もしもあの舎房が企業体質でないならばその主メモリは目付けである fact17: 「とある物は宣布しなくて上り易くない」ということは誤りならキーＳだ fact18: その免許は止めない fact19: 「この日系企業は温泉場で物寂しい」ということは嘘だ fact20: 何もかもは止めないけど帰納する fact21: その防御態勢は目付けである fact22: 仮にその主メモリは企業体質でないがしかし履き古すとすると「あの舎房は履き古さない」ということは成り立つ
fact5 & fact11 -> int1: あの舎房は履き古すし目付けだ; int1 -> hypothesis;
あの舎房は履き古すということはない
fact27 -> int2: もしその主メモリは宣布しないならば「企業体質であるということはないししかも履き古す」ということは成り立つ; fact23 -> int3: もし「その主メモリは宣布する一方で上り易くない」ということは間違いであるならそれは宣布しない; fact29 -> int4: もしもその主メモリは男らしくないとすると「それは宣布するけど上り易いということはない」ということは成り立つということはない; fact26 -> int5: この日系企業は止めない一方で帰納する; int5 -> int6: この日系企業は止めない; int6 -> int7: すべては止めない; int7 -> int8: この対象化は止めない; int8 & fact28 -> int9: この対象化は双系主義だし接近し易い; int9 -> int10: 「この対象化は双系主義だ」ということは成り立つ; int10 & fact25 -> int11: その主メモリは双系主義である;
$facts$ = fact1: 「止めるということはない」物があるとしたらこの対象化は止めないかもしくは帰納しないかあるいは両方である fact2: 企業体質は目付けである fact3: もし仮に「何かは上り易いけれど男らしくない」ということは間違いならばそれは宣布する fact4: あの舎房は目付けだ fact5: 「その主メモリは企業体質であるということはない」ということは成り立つとしたらあの舎房は履き古すしまた目付けである fact6: この対象化が止めないならば双系主義で接近し易い fact7: もしこの日系企業は物寂しくないなら「男らしいということはないかあるいは双系主義であるかまたはどちらもである」ということは成り立たない fact8: もしもこの対象化が双系主義だとするとその主メモリは双系主義である fact9: もし仮にある物が宣布しないとするとそれは企業体質でないし更にそれは履き古す fact10: もし仮になんらかのものは男らしくないとすれば「それは宣布する一方で上り易くない」ということは偽だ fact11: その主メモリは企業体質でない fact12: 「仮に「その主メモリは企業体質でない」ということは偽でないとしたら「あの舎房は目付けである」ということは確かである」ということは正しい fact13: 「「なにかは宣布するけれど上り易いということはない」ということは誤りだとすると宣布しない」ということは成り立つ fact14: 仮にあの舎房は接近し易くないならば「その主メモリは宣布しないしその上上り易くない」ということは嘘だ fact15: 仮に「この日系企業は温泉場であるし物寂しい」ということは偽ならばそれは物寂しくない fact16: もしもあの舎房が企業体質でないならばその主メモリは目付けである fact17: 「とある物は宣布しなくて上り易くない」ということは誤りならキーＳだ fact18: その免許は止めない fact19: 「この日系企業は温泉場で物寂しい」ということは嘘だ fact20: 何もかもは止めないけど帰納する fact21: その防御態勢は目付けである fact22: 仮にその主メモリは企業体質でないがしかし履き古すとすると「あの舎房は履き古さない」ということは成り立つ ; $hypothesis$ = あの舎房は履き古す ; $proof$ = 
fact5 & fact11 -> int1: あの舎房は履き古すし目付けだ; int1 -> hypothesis; __PROVED__
事実1: 「止めるということはない」物があるとしたらこの対象化は止めないかもしくは帰納しないかあるいは両方である
事実2: 企業体質は目付けである
事実3: もし仮に「何かは上り易いけれど男らしくない」ということは間違いならばそれは宣布する
事実4: あの舎房は目付けだ
事実5: 「その主メモリは企業体質であるということはない」ということは成り立つとしたらあの舎房は履き古すしまた目付けである
事実6: この対象化が止めないならば双系主義で接近し易い
事実7: もしこの日系企業は物寂しくないなら「男らしいということはないかあるいは双系主義であるかまたはどちらもである」ということは成り立たない
事実8: もしもこの対象化が双系主義だとするとその主メモリは双系主義である
事実9: もし仮にある物が宣布しないとするとそれは企業体質でないし更にそれは履き古す
事実10: もし仮になんらかのものは男らしくないとすれば「それは宣布する一方で上り易くない」ということは偽だ
事実11: その主メモリは企業体質でない
事実12: 「仮に「その主メモリは企業体質でない」ということは偽でないとしたら「あの舎房は目付けである」ということは確かである」ということは正しい
事実13: 「「なにかは宣布するけれど上り易いということはない」ということは誤りだとすると宣布しない」ということは成り立つ
事実14: 仮にあの舎房は接近し易くないならば「その主メモリは宣布しないしその上上り易くない」ということは嘘だ
事実15: 仮に「この日系企業は温泉場であるし物寂しい」ということは偽ならばそれは物寂しくない
事実16: もしもあの舎房が企業体質でないならばその主メモリは目付けである
事実17: 「とある物は宣布しなくて上り易くない」ということは誤りならキーＳだ
事実18: その免許は止めない
事実19: 「この日系企業は温泉場で物寂しい」ということは嘘だ
事実20: 何もかもは止めないけど帰納する
事実21: その防御態勢は目付けである
事実22: 仮にその主メモリは企業体質でないがしかし履き古すとすると「あの舎房は履き古さない」ということは成り立つ

仮説: あの舎房は履き古す
1. 事実5と事実11から、推論1: "あの舎房は履き古すし目付けだ"が導かれる
2. 推論1から、仮説が導かれる

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