「あの日常会話は環境変化予測であるしさらにそれは怨霊である」ということは誤りであるならばそれは替えでない
fact1: もしあの日常会話は環境変化予測だしまた怨霊であるならばそれは替えでない fact2: もし逃れ難いものは経験するとすれば「寡占化だということはない」ということは正しい fact3: 仮に「何らかのものは環境変化予測であるしそれにそれは怨霊だ」ということは誤りであるならばそれは替えでない fact4: 「あの日常会話が環境変化予測だししかも怨霊である」ということは事実と異なるなら替えだ fact5: もしもある物は環境変化予測でないなら替えでない fact6: もし環境変化予測は怨霊であるならば替えでない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしあの日常会話は環境変化予測だしまた怨霊であるならばそれは替えでない fact2: もし逃れ難いものは経験するとすれば「寡占化だということはない」ということは正しい fact3: 仮に「何らかのものは環境変化予測であるしそれにそれは怨霊だ」ということは誤りであるならばそれは替えでない fact4: 「あの日常会話が環境変化予測だししかも怨霊である」ということは事実と異なるなら替えだ fact5: もしもある物は環境変化予測でないなら替えでない fact6: もし環境変化予測は怨霊であるならば替えでない ; $hypothesis$ = 「あの日常会話は環境変化予測であるしさらにそれは怨霊である」ということは誤りであるならばそれは替えでない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしあの日常会話は環境変化予測だしまた怨霊であるならばそれは替えでない
事実2: もし逃れ難いものは経験するとすれば「寡占化だということはない」ということは正しい
事実3: 仮に「何らかのものは環境変化予測であるしそれにそれは怨霊だ」ということは誤りであるならばそれは替えでない
事実4: 「あの日常会話が環境変化予測だししかも怨霊である」ということは事実と異なるなら替えだ
事実5: もしもある物は環境変化予測でないなら替えでない
事実6: もし環境変化予測は怨霊であるならば替えでない

仮説: 「あの日常会話は環境変化予測であるしさらにそれは怨霊である」ということは誤りであるならばそれは替えでない
1. 事実3から、仮説が導かれる

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