「あの社寺境内は私達姉妹でない」ということは成り立つ
fact1: もしあの社寺境内は熱いならば「それは私達姉妹である」ということは本当である fact2: あの社寺境内は熱い
$facts$ = fact1: もしあの社寺境内は熱いならば「それは私達姉妹である」ということは本当である fact2: あの社寺境内は熱い ; $hypothesis$ = 「あの社寺境内は私達姉妹でない」ということは成り立つ ; $proof$ = 
事実1: もしあの社寺境内は熱いならば「それは私達姉妹である」ということは本当である
事実2: あの社寺境内は熱い

仮説: 「あの社寺境内は私達姉妹でない」ということは成り立つ