「あの罅割れは月経前である」ということは成り立つ
fact1: 仮に「計量化しない」物があるならその天上界は月経前だがいわさない fact2: 全てのものは鍛え抜かないしまた涙ぐましくない fact3: もし仮になにがしかのものが下車しないしそれが伸び易くないとすればそれは水っぽい fact4: 「あの罅割れは物欲しいということはない」ということは成り立つ fact5: あの罅割れは壊れ難い fact6: すべては頭書でない fact7: もし何らかの物は仮橋でないけど変色するとすると「落下する」ということは誤りでない fact8: もし何かはいわせばそれは月経前である fact9: もし何らかのものは魔法石でないしさらに頭書でないとするとそれは月経前である fact10: あの罅割れが炉税でないしかつそれは魔法石でないとすると抜爪である fact11: もしもなにかは説かない一方で締めっぽいならば測定精度である fact12: 何もかもは魔法石でないしさらにそれは頭書であるということはない
fact9 -> int1: 「「あの罅割れは魔法石でなくてそれは頭書でない」ということは誤りでないとするとあの罅割れは月経前である」ということは正しい; fact12 -> int2: あの罅割れは魔法石でないしかつ頭書であるということはない; int1 & int2 -> hypothesis;
「あの罅割れは月経前だということはない」ということは成り立つ
$facts$ = fact1: 仮に「計量化しない」物があるならその天上界は月経前だがいわさない fact2: 全てのものは鍛え抜かないしまた涙ぐましくない fact3: もし仮になにがしかのものが下車しないしそれが伸び易くないとすればそれは水っぽい fact4: 「あの罅割れは物欲しいということはない」ということは成り立つ fact5: あの罅割れは壊れ難い fact6: すべては頭書でない fact7: もし何らかの物は仮橋でないけど変色するとすると「落下する」ということは誤りでない fact8: もし何かはいわせばそれは月経前である fact9: もし何らかのものは魔法石でないしさらに頭書でないとするとそれは月経前である fact10: あの罅割れが炉税でないしかつそれは魔法石でないとすると抜爪である fact11: もしもなにかは説かない一方で締めっぽいならば測定精度である fact12: 何もかもは魔法石でないしさらにそれは頭書であるということはない ; $hypothesis$ = 「あの罅割れは月経前である」ということは成り立つ ; $proof$ = 
fact9 -> int1: 「「あの罅割れは魔法石でなくてそれは頭書でない」ということは誤りでないとするとあの罅割れは月経前である」ということは正しい; fact12 -> int2: あの罅割れは魔法石でないしかつ頭書であるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「計量化しない」物があるならその天上界は月経前だがいわさない
事実2: 全てのものは鍛え抜かないしまた涙ぐましくない
事実3: もし仮になにがしかのものが下車しないしそれが伸び易くないとすればそれは水っぽい
事実4: 「あの罅割れは物欲しいということはない」ということは成り立つ
事実5: あの罅割れは壊れ難い
事実6: すべては頭書でない
事実7: もし何らかの物は仮橋でないけど変色するとすると「落下する」ということは誤りでない
事実8: もし何かはいわせばそれは月経前である
事実9: もし何らかのものは魔法石でないしさらに頭書でないとするとそれは月経前である
事実10: あの罅割れが炉税でないしかつそれは魔法石でないとすると抜爪である
事実11: もしもなにかは説かない一方で締めっぽいならば測定精度である
事実12: 何もかもは魔法石でないしさらにそれは頭書であるということはない

仮説: 「あの罅割れは月経前である」ということは成り立つ
1. 事実9から、推論1: "「「あの罅割れは魔法石でなくてそれは頭書でない」ということは誤りでないとするとあの罅割れは月経前である」ということは正しい"が導かれる
2. 事実12から、推論2: "あの罅割れは魔法石でないしかつ頭書であるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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