あのマスコミ界は詰まり易くない
fact1: もしあるものはティーナプキンでないとすると「それは打ち上がり易いかもしくはそれは大音響であるかもしくは両方ともである」ということは真実である fact2: ある物は全身骨でないが陰気臭い fact3: あのルール・ガイドラインは日本人らしくない fact4: もしも「陰気臭くない」ものがあるならあのマスコミ界は大音響でない fact5: 「仮に「「全身骨でないしかつ陰気臭い」ということは真実でない」ものがあるとすればあのマスコミ界は大音響でない」ということは真実である fact6: 「「全身骨でまた陰気臭い」ということは間違っている」ものはある fact7: 「「全身骨でないし陰気臭い」ということは成り立たない」ものはある fact8: 何らかのものは満年齢でないならばそれは受精しない fact9: なにがしかのものは大音響でないならそれは詰まり易くない
fact7 & fact5 -> int1: あのマスコミ界は大音響でない; fact9 -> int2: 仮にあのマスコミ界は大音響でないとしたら詰まり易くない; int1 & int2 -> hypothesis;
fact7 & fact5 -> int1: ¬{A}{a}; fact9 -> int2: ¬{A}{a} -> ¬{B}{a}; int1 & int2 -> hypothesis;
「あのマスコミ界は詰まり易い」ということは成り立つ
fact10 -> int3: もしもあのマスコミ界がティーナプキンでないとすれば打ち上がり易いかまたは大音響である;
$facts$ = fact1: もしあるものはティーナプキンでないとすると「それは打ち上がり易いかもしくはそれは大音響であるかもしくは両方ともである」ということは真実である fact2: ある物は全身骨でないが陰気臭い fact3: あのルール・ガイドラインは日本人らしくない fact4: もしも「陰気臭くない」ものがあるならあのマスコミ界は大音響でない fact5: 「仮に「「全身骨でないしかつ陰気臭い」ということは真実でない」ものがあるとすればあのマスコミ界は大音響でない」ということは真実である fact6: 「「全身骨でまた陰気臭い」ということは間違っている」ものはある fact7: 「「全身骨でないし陰気臭い」ということは成り立たない」ものはある fact8: 何らかのものは満年齢でないならばそれは受精しない fact9: なにがしかのものは大音響でないならそれは詰まり易くない ; $hypothesis$ = あのマスコミ界は詰まり易くない ; $proof$ = 
fact7 & fact5 -> int1: あのマスコミ界は大音響でない; fact9 -> int2: 仮にあのマスコミ界は大音響でないとしたら詰まり易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあるものはティーナプキンでないとすると「それは打ち上がり易いかもしくはそれは大音響であるかもしくは両方ともである」ということは真実である
事実2: ある物は全身骨でないが陰気臭い
事実3: あのルール・ガイドラインは日本人らしくない
事実4: もしも「陰気臭くない」ものがあるならあのマスコミ界は大音響でない
事実5: 「仮に「「全身骨でないしかつ陰気臭い」ということは真実でない」ものがあるとすればあのマスコミ界は大音響でない」ということは真実である
事実6: 「「全身骨でまた陰気臭い」ということは間違っている」ものはある
事実7: 「「全身骨でないし陰気臭い」ということは成り立たない」ものはある
事実8: 何らかのものは満年齢でないならばそれは受精しない
事実9: なにがしかのものは大音響でないならそれは詰まり易くない

仮説: あのマスコミ界は詰まり易くない
1. 事実7と事実5から、推論1: "あのマスコミ界は大音響でない"が導かれる
2. 事実9から、推論2: "仮にあのマスコミ界は大音響でないとしたら詰まり易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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