「その学寮は物凄くなくて屈み込むということはない」ということは真実である
fact1: あの順光は謀殺しない fact2: もし仮にあの順光は謀殺しないとすれば「その学寮は物凄くないしその上屈み込まない」ということは誤りだ
$facts$ = fact1: あの順光は謀殺しない fact2: もし仮にあの順光は謀殺しないとすれば「その学寮は物凄くないしその上屈み込まない」ということは誤りだ ; $hypothesis$ = 「その学寮は物凄くなくて屈み込むということはない」ということは真実である ; $proof$ = 
事実1: あの順光は謀殺しない
事実2: もし仮にあの順光は謀殺しないとすれば「その学寮は物凄くないしその上屈み込まない」ということは誤りだ

仮説: 「その学寮は物凄くなくて屈み込むということはない」ということは真実である