「「掴み難くて加えて遣れる」ということは誤っているとすると有形・無形でない」ものはある
fact1: もし仮に「あの怪物達は掴み難いしその上遣れる」ということは間違いであるとしたらそれは有形・無形でない fact2: もし仮に「何かは交換し合うしおまけに遣れる」ということは偽ならばそれは詔しない
fact1 -> hypothesis;
「あの謝肉祭は交換し合うしおまけに遣れる」ということは成り立たないならばそれは詔しない
fact3 -> hypothesis;
$facts$ = fact1: もし仮に「あの怪物達は掴み難いしその上遣れる」ということは間違いであるとしたらそれは有形・無形でない fact2: もし仮に「何かは交換し合うしおまけに遣れる」ということは偽ならばそれは詔しない ; $hypothesis$ = 「「掴み難くて加えて遣れる」ということは誤っているとすると有形・無形でない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮に「あの怪物達は掴み難いしその上遣れる」ということは間違いであるとしたらそれは有形・無形でない
事実2: もし仮に「何かは交換し合うしおまけに遣れる」ということは偽ならばそれは詔しない

仮説: 「「掴み難くて加えて遣れる」ということは誤っているとすると有形・無形でない」ものはある
1. 事実1から、仮説が導かれる

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