「もし濃縮するということはないとすると従属しないし当て付けがましくらない」物はある
fact1: もしもあの重量感が濃縮しないならそれは従属するということはないし当て付けがましい fact2: 「仮に濃縮するなら「従属するということはないしその上当て付けがましいということはない」ということは事実である」物はある fact3: 仮にそのＡＬＰＳが製造販売しないとすれば小口でない fact4: もし仮にあの重量感が女性らしくないとするとそれは三分法でない fact5: 「仮に結婚話でないとすると「閉鎖するということはない」ということは真実である」物はある fact6: あるものが振動しないならば当て付けがましいということはなくてそれにそれは膨張エネルギーでない fact7: 「何かは濃縮しない」ということは事実であるとすればそれは従属しなくて更に当て付けがましかない fact8: もし仮にあの重量感が濃縮するとすれば従属しなくてそれは当て付けがましかない fact9: 何らかの物が濃縮しないならばそれは従属しない fact10: 仮にとあるものが濃縮しないとするとそれは従属しないけど当て付けがましい fact11: 「仮に濃縮しないなら従属するということはないしおまけに当て付けがましい」ものはある fact12: もし仮にあの重量感が汚れ易くないとするとそれは質問力でない
fact7 -> int1: あの重量感が濃縮しないならそれは従属しなくてしかも当て付けがましいということはない; int1 -> hypothesis;
もしもあの重量感が振動しないとすれば当て付けはましくらなくてまた膨張エネルギーでない
fact13 -> hypothesis;
$facts$ = fact1: もしもあの重量感が濃縮しないならそれは従属するということはないし当て付けがましい fact2: 「仮に濃縮するなら「従属するということはないしその上当て付けがましいということはない」ということは事実である」物はある fact3: 仮にそのＡＬＰＳが製造販売しないとすれば小口でない fact4: もし仮にあの重量感が女性らしくないとするとそれは三分法でない fact5: 「仮に結婚話でないとすると「閉鎖するということはない」ということは真実である」物はある fact6: あるものが振動しないならば当て付けがましいということはなくてそれにそれは膨張エネルギーでない fact7: 「何かは濃縮しない」ということは事実であるとすればそれは従属しなくて更に当て付けがましかない fact8: もし仮にあの重量感が濃縮するとすれば従属しなくてそれは当て付けがましかない fact9: 何らかの物が濃縮しないならばそれは従属しない fact10: 仮にとあるものが濃縮しないとするとそれは従属しないけど当て付けがましい fact11: 「仮に濃縮しないなら従属するということはないしおまけに当て付けがましい」ものはある fact12: もし仮にあの重量感が汚れ易くないとするとそれは質問力でない ; $hypothesis$ = 「もし濃縮するということはないとすると従属しないし当て付けがましくらない」物はある ; $proof$ = 
fact7 -> int1: あの重量感が濃縮しないならそれは従属しなくてしかも当て付けがましいということはない; int1 -> hypothesis; __PROVED__
事実1: もしもあの重量感が濃縮しないならそれは従属するということはないし当て付けがましい
事実2: 「仮に濃縮するなら「従属するということはないしその上当て付けがましいということはない」ということは事実である」物はある
事実3: 仮にそのＡＬＰＳが製造販売しないとすれば小口でない
事実4: もし仮にあの重量感が女性らしくないとするとそれは三分法でない
事実5: 「仮に結婚話でないとすると「閉鎖するということはない」ということは真実である」物はある
事実6: あるものが振動しないならば当て付けがましいということはなくてそれにそれは膨張エネルギーでない
事実7: 「何かは濃縮しない」ということは事実であるとすればそれは従属しなくて更に当て付けがましかない
事実8: もし仮にあの重量感が濃縮するとすれば従属しなくてそれは当て付けがましかない
事実9: 何らかの物が濃縮しないならばそれは従属しない
事実10: 仮にとあるものが濃縮しないとするとそれは従属しないけど当て付けがましい
事実11: 「仮に濃縮しないなら従属するということはないしおまけに当て付けがましい」ものはある
事実12: もし仮にあの重量感が汚れ易くないとするとそれは質問力でない

仮説: 「もし濃縮するということはないとすると従属しないし当て付けがましくらない」物はある
1. 事実7から、推論1: "あの重量感が濃縮しないならそれは従属しなくてしかも当て付けがましいということはない"が導かれる
2. 推論1から、仮説が導かれる

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