あの新工場は迷信深い
fact1: もし仮に「この露店は決定し得る」ということは真実であるならばあの新工場は御濃い fact2: 仮にあのソーサーが迷信深いならこのホビット村はベッドタウンである fact3: この露店は御濃いかあるいは迷信深いか両方だ fact4: 「仮にこの露店が御濃いとしたらこの露店は迷信深い」ということは事実だ fact5: 「この露店は御濃いということはない」ということは正しいとすればベッドタウンであるかそれは決定し得るかまたは両方だ fact6: 「あの二百三十四人は忘れ難いけれどそれはさ迷わない」ということは成り立たない fact7: 「この露店は御濃い」ということは事実であるなら「あの新工場は決定し得る」ということは間違いだということはない fact8: もしもこの露店が明治神宮だとすればあの新工場は決定し得る fact9: もしも「「忘れ難いがさ迷わない」ということは偽な」物があればあのソーサーは人其々である fact10: 何らかの物が人其々だとするとそれは迷信深い fact11: もし仮に「この露店はベッドタウンでない」ということは確かであるならばそれは明治神宮であるかまたはそれは御濃いかどちらもだ fact12: もしあの新工場が迷信深くないとすると明治神宮であるかあるいはそれは決定し得るかもしくは両方である fact13: ベッドタウンは決定し得る fact14: もしなにかは決定し得るとすれば迷信深い fact15: この露店はベッドタウンでない
fact11 & fact15 -> int1: この露店は明治神宮であるかまたはそれは御濃い; int1 & fact8 & fact7 -> int2: あの新工場は決定し得る; fact14 -> int3: 「あの新工場は決定し得る」ということは真実だとすればそれは迷信深い; int2 & int3 -> hypothesis;
あの新工場は御濃い
fact16 -> int4: もし仮にあのソーサーは人其々であるならばそれは迷信深い; fact18 -> int5: 「「忘れ難いし加えてさ迷わない」ということは成り立たない」物はある; int5 & fact17 -> int6: あのソーサーは人其々だ; int4 & int6 -> int7: あのソーサーは迷信深い; fact19 & int7 -> int8: このホビット村はベッドタウンである; int8 -> int9: なにがしかのものはベッドタウンである;
$facts$ = fact1: もし仮に「この露店は決定し得る」ということは真実であるならばあの新工場は御濃い fact2: 仮にあのソーサーが迷信深いならこのホビット村はベッドタウンである fact3: この露店は御濃いかあるいは迷信深いか両方だ fact4: 「仮にこの露店が御濃いとしたらこの露店は迷信深い」ということは事実だ fact5: 「この露店は御濃いということはない」ということは正しいとすればベッドタウンであるかそれは決定し得るかまたは両方だ fact6: 「あの二百三十四人は忘れ難いけれどそれはさ迷わない」ということは成り立たない fact7: 「この露店は御濃い」ということは事実であるなら「あの新工場は決定し得る」ということは間違いだということはない fact8: もしもこの露店が明治神宮だとすればあの新工場は決定し得る fact9: もしも「「忘れ難いがさ迷わない」ということは偽な」物があればあのソーサーは人其々である fact10: 何らかの物が人其々だとするとそれは迷信深い fact11: もし仮に「この露店はベッドタウンでない」ということは確かであるならばそれは明治神宮であるかまたはそれは御濃いかどちらもだ fact12: もしあの新工場が迷信深くないとすると明治神宮であるかあるいはそれは決定し得るかもしくは両方である fact13: ベッドタウンは決定し得る fact14: もしなにかは決定し得るとすれば迷信深い fact15: この露店はベッドタウンでない ; $hypothesis$ = あの新工場は迷信深い ; $proof$ = 
fact11 & fact15 -> int1: この露店は明治神宮であるかまたはそれは御濃い; int1 & fact8 & fact7 -> int2: あの新工場は決定し得る; fact14 -> int3: 「あの新工場は決定し得る」ということは真実だとすればそれは迷信深い; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「この露店は決定し得る」ということは真実であるならばあの新工場は御濃い
事実2: 仮にあのソーサーが迷信深いならこのホビット村はベッドタウンである
事実3: この露店は御濃いかあるいは迷信深いか両方だ
事実4: 「仮にこの露店が御濃いとしたらこの露店は迷信深い」ということは事実だ
事実5: 「この露店は御濃いということはない」ということは正しいとすればベッドタウンであるかそれは決定し得るかまたは両方だ
事実6: 「あの二百三十四人は忘れ難いけれどそれはさ迷わない」ということは成り立たない
事実7: 「この露店は御濃い」ということは事実であるなら「あの新工場は決定し得る」ということは間違いだということはない
事実8: もしもこの露店が明治神宮だとすればあの新工場は決定し得る
事実9: もしも「「忘れ難いがさ迷わない」ということは偽な」物があればあのソーサーは人其々である
事実10: 何らかの物が人其々だとするとそれは迷信深い
事実11: もし仮に「この露店はベッドタウンでない」ということは確かであるならばそれは明治神宮であるかまたはそれは御濃いかどちらもだ
事実12: もしあの新工場が迷信深くないとすると明治神宮であるかあるいはそれは決定し得るかもしくは両方である
事実13: ベッドタウンは決定し得る
事実14: もしなにかは決定し得るとすれば迷信深い
事実15: この露店はベッドタウンでない

仮説: あの新工場は迷信深い
1. 事実11と事実15から、推論1: "この露店は明治神宮であるかまたはそれは御濃い"が導かれる
2. 推論1と事実8と事実7から、推論2: "あの新工場は決定し得る"が導かれる
3. 事実14から、推論3: "「あの新工場は決定し得る」ということは真実だとすればそれは迷信深い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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