「もしっ早い一方で踊り続けないなら「帰依しない」ということは正しい」ものはある
fact1: もしもっ早い物が踊り続けないならばそれは帰依しない
fact1 -> int1: あの客観的論理はっ早いがしかし踊り続けないならば帰依するということはない; int1 -> hypothesis;
$facts$ = fact1: もしもっ早い物が踊り続けないならばそれは帰依しない ; $hypothesis$ = 「もしっ早い一方で踊り続けないなら「帰依しない」ということは正しい」ものはある ; $proof$ = 
fact1 -> int1: あの客観的論理はっ早いがしかし踊り続けないならば帰依するということはない; int1 -> hypothesis; __PROVED__
事実1: もしもっ早い物が踊り続けないならばそれは帰依しない

仮説: 「もしっ早い一方で踊り続けないなら「帰依しない」ということは正しい」ものはある
1. 事実1から、推論1: "あの客観的論理はっ早いがしかし踊り続けないならば帰依するということはない"が導かれる
2. 推論1から、仮説が導かれる

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