「もし心安くないとすれば「軸受けでないししかも逆立ちするということはない」ということは成り立たない」物はある
fact1: 「もし仮に存続しないならばどうしても欲しくなくてその上付け難いということはない」ものはある fact2: 「ビーコンでないなら言い出せらなくてしかも程無くない」物はある fact3: あの魔法オペラは心安くないとすれば「それは軸受けでないしかつ逆立ちしない」ということは成り立たない fact4: もしあの魔法オペラは心安くないなら「軸受けでないけど逆立ちする」ということは間違いだ fact5: 仮になにがしかのものは組み直さないとしたら「「それはっ早くないしそれにそれは慌てふためかない」ということは成り立つ」ということは成り立たない
fact3 -> hypothesis;
「組み直すということはないなら「っ早いということはなくて慌てふためくということはない」ということは間違っている」物はある
fact6 -> int1: 仮に「その性急さは組み直さない」ということは成り立つとすると「それはっ早くないしそれは慌てふためかない」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に存続しないならばどうしても欲しくなくてその上付け難いということはない」ものはある fact2: 「ビーコンでないなら言い出せらなくてしかも程無くない」物はある fact3: あの魔法オペラは心安くないとすれば「それは軸受けでないしかつ逆立ちしない」ということは成り立たない fact4: もしあの魔法オペラは心安くないなら「軸受けでないけど逆立ちする」ということは間違いだ fact5: 仮になにがしかのものは組み直さないとしたら「「それはっ早くないしそれにそれは慌てふためかない」ということは成り立つ」ということは成り立たない ; $hypothesis$ = 「もし心安くないとすれば「軸受けでないししかも逆立ちするということはない」ということは成り立たない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮に存続しないならばどうしても欲しくなくてその上付け難いということはない」ものはある
事実2: 「ビーコンでないなら言い出せらなくてしかも程無くない」物はある
事実3: あの魔法オペラは心安くないとすれば「それは軸受けでないしかつ逆立ちしない」ということは成り立たない
事実4: もしあの魔法オペラは心安くないなら「軸受けでないけど逆立ちする」ということは間違いだ
事実5: 仮になにがしかのものは組み直さないとしたら「「それはっ早くないしそれにそれは慌てふためかない」ということは成り立つ」ということは成り立たない

仮説: 「もし心安くないとすれば「軸受けでないししかも逆立ちするということはない」ということは成り立たない」物はある
1. 事実3から、仮説が導かれる

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