その弥勒信仰は運悪くない
fact1: もし仮になんらかのものが親しみ易いなら酔い潰れる fact2: もし仮にあのゼネラル・パートナーが出入りするとしたらこの禁書事件は親しみ易い fact3: 「傾き易くない」ものはある fact4: 「なにかは美しい一方で蛍光顕微鏡像でない」ということは成り立たないとするとそれは美しくない fact5: その公害が基本レイアウトだとしたら目敏い fact6: もし仮に「あの梨園は胡散臭いかそれは男女共同参画基本計画でないかまたは両方である」ということは成り立つということはないとするとその弥勒信仰は運悪くない fact7: もしその公害は目敏いならば「「あのプロシャ軍は美しい一方で蛍光顕微鏡像でない」ということは成り立たない」ということは真実だ fact8: もしとあるものは中間管理職群以上でないなら「それは運悪くないしその上見難い」ということは成り立たない fact9: もしもなんらかの物が惜しみ無いか酔い潰れるかあるいは両方であるとするとあの梨園は中間管理職群以上でない fact10: 仮に「とある物は傾き易いししかもそれは胡散臭い」ということは事実と異なるとすると「それは手付きだということはない」ということは事実である fact11: もし「「運悪いということはないがしかし見難い」ということは成り立たない」ものがあればその弥勒信仰は男女共同参画基本計画でない fact12: 「その公害は基本レイアウトだ」ということは事実である fact13: もしあのゼネラル・パートナーは中間管理職群以上でないならば「それは見難いが男女共同参画基本計画でない」ということは誤りである fact14: もし何らかのものは傾き易くないなら「あの梨園は胡散臭いかまたは男女共同参画基本計画でないか両方だ」ということは間違っている fact15: あのプロシャ軍が美しいということはないとすればあのゼネラル・パートナーは出入りするしそれは土下座する fact16: なんらかの物は男女共同参画基本計画でないとすると「傾き易くて胡散臭い」ということは嘘だ fact17: もし仮に「「あのゼネラル・パートナーは酔い潰れるし惜しみ無い」ということは成り立つ」ということは成り立つということはないならそれは中間管理職群以上でない fact18: 仮に傾き易くない物があればあの梨園は男女共同参画基本計画だ
fact3 & fact14 -> int1: 「あの梨園は胡散臭いかもしくは男女共同参画基本計画でないかもしくは両方だ」ということは事実と異なる; int1 & fact6 -> hypothesis;
その弥勒信仰は運悪い
$facts$ = fact1: もし仮になんらかのものが親しみ易いなら酔い潰れる fact2: もし仮にあのゼネラル・パートナーが出入りするとしたらこの禁書事件は親しみ易い fact3: 「傾き易くない」ものはある fact4: 「なにかは美しい一方で蛍光顕微鏡像でない」ということは成り立たないとするとそれは美しくない fact5: その公害が基本レイアウトだとしたら目敏い fact6: もし仮に「あの梨園は胡散臭いかそれは男女共同参画基本計画でないかまたは両方である」ということは成り立つということはないとするとその弥勒信仰は運悪くない fact7: もしその公害は目敏いならば「「あのプロシャ軍は美しい一方で蛍光顕微鏡像でない」ということは成り立たない」ということは真実だ fact8: もしとあるものは中間管理職群以上でないなら「それは運悪くないしその上見難い」ということは成り立たない fact9: もしもなんらかの物が惜しみ無いか酔い潰れるかあるいは両方であるとするとあの梨園は中間管理職群以上でない fact10: 仮に「とある物は傾き易いししかもそれは胡散臭い」ということは事実と異なるとすると「それは手付きだということはない」ということは事実である fact11: もし「「運悪いということはないがしかし見難い」ということは成り立たない」ものがあればその弥勒信仰は男女共同参画基本計画でない fact12: 「その公害は基本レイアウトだ」ということは事実である fact13: もしあのゼネラル・パートナーは中間管理職群以上でないならば「それは見難いが男女共同参画基本計画でない」ということは誤りである fact14: もし何らかのものは傾き易くないなら「あの梨園は胡散臭いかまたは男女共同参画基本計画でないか両方だ」ということは間違っている fact15: あのプロシャ軍が美しいということはないとすればあのゼネラル・パートナーは出入りするしそれは土下座する fact16: なんらかの物は男女共同参画基本計画でないとすると「傾き易くて胡散臭い」ということは嘘だ fact17: もし仮に「「あのゼネラル・パートナーは酔い潰れるし惜しみ無い」ということは成り立つ」ということは成り立つということはないならそれは中間管理職群以上でない fact18: 仮に傾き易くない物があればあの梨園は男女共同参画基本計画だ ; $hypothesis$ = その弥勒信仰は運悪くない ; $proof$ = 
fact3 & fact14 -> int1: 「あの梨園は胡散臭いかもしくは男女共同参画基本計画でないかもしくは両方だ」ということは事実と異なる; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものが親しみ易いなら酔い潰れる
事実2: もし仮にあのゼネラル・パートナーが出入りするとしたらこの禁書事件は親しみ易い
事実3: 「傾き易くない」ものはある
事実4: 「なにかは美しい一方で蛍光顕微鏡像でない」ということは成り立たないとするとそれは美しくない
事実5: その公害が基本レイアウトだとしたら目敏い
事実6: もし仮に「あの梨園は胡散臭いかそれは男女共同参画基本計画でないかまたは両方である」ということは成り立つということはないとするとその弥勒信仰は運悪くない
事実7: もしその公害は目敏いならば「「あのプロシャ軍は美しい一方で蛍光顕微鏡像でない」ということは成り立たない」ということは真実だ
事実8: もしとあるものは中間管理職群以上でないなら「それは運悪くないしその上見難い」ということは成り立たない
事実9: もしもなんらかの物が惜しみ無いか酔い潰れるかあるいは両方であるとするとあの梨園は中間管理職群以上でない
事実10: 仮に「とある物は傾き易いししかもそれは胡散臭い」ということは事実と異なるとすると「それは手付きだということはない」ということは事実である
事実11: もし「「運悪いということはないがしかし見難い」ということは成り立たない」ものがあればその弥勒信仰は男女共同参画基本計画でない
事実12: 「その公害は基本レイアウトだ」ということは事実である
事実13: もしあのゼネラル・パートナーは中間管理職群以上でないならば「それは見難いが男女共同参画基本計画でない」ということは誤りである
事実14: もし何らかのものは傾き易くないなら「あの梨園は胡散臭いかまたは男女共同参画基本計画でないか両方だ」ということは間違っている
事実15: あのプロシャ軍が美しいということはないとすればあのゼネラル・パートナーは出入りするしそれは土下座する
事実16: なんらかの物は男女共同参画基本計画でないとすると「傾き易くて胡散臭い」ということは嘘だ
事実17: もし仮に「「あのゼネラル・パートナーは酔い潰れるし惜しみ無い」ということは成り立つ」ということは成り立つということはないならそれは中間管理職群以上でない
事実18: 仮に傾き易くない物があればあの梨園は男女共同参画基本計画だ

仮説: その弥勒信仰は運悪くない
1. 事実3と事実14から、推論1: "「あの梨園は胡散臭いかもしくは男女共同参画基本計画でないかもしくは両方だ」ということは事実と異なる"が導かれる
2. 推論1と事実6から、仮説が導かれる

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