何らかのものは崩せるが鏡面修整アンテナであるということはない
fact1: 「「伝え易い」ということは真実である」ものはある fact2: 「崩せるししかも鏡面修整アンテナである」ものはある fact3: もしもなんらかのものが伝え易いならその頓服は崩せる一方で鏡面修整アンテナでない
fact1 & fact3 -> int1: その頓服は崩せるけど鏡面修整アンテナでない; int1 -> hypothesis;
$facts$ = fact1: 「「伝え易い」ということは真実である」ものはある fact2: 「崩せるししかも鏡面修整アンテナである」ものはある fact3: もしもなんらかのものが伝え易いならその頓服は崩せる一方で鏡面修整アンテナでない ; $hypothesis$ = 何らかのものは崩せるが鏡面修整アンテナであるということはない ; $proof$ = 
fact1 & fact3 -> int1: その頓服は崩せるけど鏡面修整アンテナでない; int1 -> hypothesis; __PROVED__
事実1: 「「伝え易い」ということは真実である」ものはある
事実2: 「崩せるししかも鏡面修整アンテナである」ものはある
事実3: もしもなんらかのものが伝え易いならその頓服は崩せる一方で鏡面修整アンテナでない

仮説: 何らかのものは崩せるが鏡面修整アンテナであるということはない
1. 事実1と事実3から、推論1: "その頓服は崩せるけど鏡面修整アンテナでない"が導かれる
2. 推論1から、仮説が導かれる

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