あの開始時刻は難い
fact1: もし仮にあの駄弁は発し始めれば「その市区町村役場は逆回転するかあるいはＬＩＳＴでない」ということは成り立たない fact2: もし「あのペルシャ戦争は離れ難くないしそれはぼろくない」ということは成り立たないとしたらあの駄弁はぼろい fact3: もし仮に「あの開始時刻はぼろくなくておまけに逆回転しない」ということは事実と異なるとするとプロラクチンである fact4: もし仮に「「何らかのものは怠いかあるいはそれは微震動であるかあるいは両方ともだ」ということは真実である」ということは間違いであるとすれば難くない fact5: 「もしその市区町村役場が難いとしたらその市区町村役場はっ早い」ということは確かだ fact6: 仮にその市区町村役場が怠いならばそれはＬＩＳＴだ fact7: もしも「あの駄弁がＬＩＳＴだけど発し始めない」ということは間違っているとすれば「それは逆回転する」ということは間違いだ fact8: 仮に「その市区町村役場は逆回転するかまたはＬＩＳＴでないかもしくは両方ともである」ということは誤りならばあの開始時刻はＬＩＳＴでない fact9: もしもあの開始時刻がプロラクチンならば難い fact10: 「あの駄弁は強いないが引き難い」ということは誤っている fact11: もし仮に「ある物は発し始めるということはない一方でプロラクチンだ」ということは嘘だとするとそれは発し始める fact12: もしその市区町村役場はＬＩＳＴであるならば「あの駄弁はＬＩＳＴだがしかし発し始めるということはない」ということは成り立つということはない fact13: もし仮に何かはぼろいなら「それは発し始めないし加えてプロラクチンである」ということは嘘である fact14: もしもあの駄弁は逆回転するということはないなら「あの開始時刻はぼろくなくて逆回転しない」ということは成り立つということはない fact15: その市区町村役場は怠いしそれは微震動だ
fact15 -> int1: その市区町村役場は怠い; int1 & fact6 -> int2: その市区町村役場はＬＩＳＴである; int2 & fact12 -> int3: 「あの駄弁はＬＩＳＴだけれど発し始めるということはない」ということは成り立たない; int3 & fact7 -> int4: あの駄弁は逆回転しない; int4 & fact14 -> int5: 「あの開始時刻がぼろいということはないしその上逆回転しない」ということは誤っている; int5 & fact3 -> int6: 「あの開始時刻はプロラクチンだ」ということは事実だ; int6 & fact9 -> hypothesis;
あの開始時刻は難くない
fact18 -> int7: 仮に「あの開始時刻は怠いかもしくは微震動であるか両方ともだ」ということは成り立たないとしたらそれは難くない; fact17 -> int8: もし「あの駄弁は発し始めない一方でそれはプロラクチンである」ということは誤りであるなら発し始める; fact21 -> int9: もしあの駄弁はぼろいなら「それは発し始めないしそれにプロラクチンだ」ということは成り立たない;
$facts$ = fact1: もし仮にあの駄弁は発し始めれば「その市区町村役場は逆回転するかあるいはＬＩＳＴでない」ということは成り立たない fact2: もし「あのペルシャ戦争は離れ難くないしそれはぼろくない」ということは成り立たないとしたらあの駄弁はぼろい fact3: もし仮に「あの開始時刻はぼろくなくておまけに逆回転しない」ということは事実と異なるとするとプロラクチンである fact4: もし仮に「「何らかのものは怠いかあるいはそれは微震動であるかあるいは両方ともだ」ということは真実である」ということは間違いであるとすれば難くない fact5: 「もしその市区町村役場が難いとしたらその市区町村役場はっ早い」ということは確かだ fact6: 仮にその市区町村役場が怠いならばそれはＬＩＳＴだ fact7: もしも「あの駄弁がＬＩＳＴだけど発し始めない」ということは間違っているとすれば「それは逆回転する」ということは間違いだ fact8: 仮に「その市区町村役場は逆回転するかまたはＬＩＳＴでないかもしくは両方ともである」ということは誤りならばあの開始時刻はＬＩＳＴでない fact9: もしもあの開始時刻がプロラクチンならば難い fact10: 「あの駄弁は強いないが引き難い」ということは誤っている fact11: もし仮に「ある物は発し始めるということはない一方でプロラクチンだ」ということは嘘だとするとそれは発し始める fact12: もしその市区町村役場はＬＩＳＴであるならば「あの駄弁はＬＩＳＴだがしかし発し始めるということはない」ということは成り立つということはない fact13: もし仮に何かはぼろいなら「それは発し始めないし加えてプロラクチンである」ということは嘘である fact14: もしもあの駄弁は逆回転するということはないなら「あの開始時刻はぼろくなくて逆回転しない」ということは成り立つということはない fact15: その市区町村役場は怠いしそれは微震動だ ; $hypothesis$ = あの開始時刻は難い ; $proof$ = 
fact15 -> int1: その市区町村役場は怠い; int1 & fact6 -> int2: その市区町村役場はＬＩＳＴである; int2 & fact12 -> int3: 「あの駄弁はＬＩＳＴだけれど発し始めるということはない」ということは成り立たない; int3 & fact7 -> int4: あの駄弁は逆回転しない; int4 & fact14 -> int5: 「あの開始時刻がぼろいということはないしその上逆回転しない」ということは誤っている; int5 & fact3 -> int6: 「あの開始時刻はプロラクチンだ」ということは事実だ; int6 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にあの駄弁は発し始めれば「その市区町村役場は逆回転するかあるいはＬＩＳＴでない」ということは成り立たない
事実2: もし「あのペルシャ戦争は離れ難くないしそれはぼろくない」ということは成り立たないとしたらあの駄弁はぼろい
事実3: もし仮に「あの開始時刻はぼろくなくておまけに逆回転しない」ということは事実と異なるとするとプロラクチンである
事実4: もし仮に「「何らかのものは怠いかあるいはそれは微震動であるかあるいは両方ともだ」ということは真実である」ということは間違いであるとすれば難くない
事実5: 「もしその市区町村役場が難いとしたらその市区町村役場はっ早い」ということは確かだ
事実6: 仮にその市区町村役場が怠いならばそれはＬＩＳＴだ
事実7: もしも「あの駄弁がＬＩＳＴだけど発し始めない」ということは間違っているとすれば「それは逆回転する」ということは間違いだ
事実8: 仮に「その市区町村役場は逆回転するかまたはＬＩＳＴでないかもしくは両方ともである」ということは誤りならばあの開始時刻はＬＩＳＴでない
事実9: もしもあの開始時刻がプロラクチンならば難い
事実10: 「あの駄弁は強いないが引き難い」ということは誤っている
事実11: もし仮に「ある物は発し始めるということはない一方でプロラクチンだ」ということは嘘だとするとそれは発し始める
事実12: もしその市区町村役場はＬＩＳＴであるならば「あの駄弁はＬＩＳＴだがしかし発し始めるということはない」ということは成り立つということはない
事実13: もし仮に何かはぼろいなら「それは発し始めないし加えてプロラクチンである」ということは嘘である
事実14: もしもあの駄弁は逆回転するということはないなら「あの開始時刻はぼろくなくて逆回転しない」ということは成り立つということはない
事実15: その市区町村役場は怠いしそれは微震動だ

仮説: あの開始時刻は難い
1. 事実15から、推論1: "その市区町村役場は怠い"が導かれる
2. 推論1と事実6から、推論2: "その市区町村役場はＬＩＳＴである"が導かれる
3. 推論2と事実12から、推論3: "「あの駄弁はＬＩＳＴだけれど発し始めるということはない」ということは成り立たない"が導かれる
4. 推論3と事実7から、推論4: "あの駄弁は逆回転しない"が導かれる
5. 推論4と事実14から、推論5: "「あの開始時刻がぼろいということはないしその上逆回転しない」ということは誤っている"が導かれる
6. 推論5と事実3から、推論6: "「あの開始時刻はプロラクチンだ」ということは事実だ"が導かれる
7. 推論6と事実9から、仮説が導かれる

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