「この表明は重ね合わない」ということは確かだ
fact1: この彼女以外はアーカイブしないしその上戦利品でない fact2: もし仮にこの彼女以外がアーカイブしないしそれが戦利品でないならばあの表明は重ね合わない
$facts$ = fact1: この彼女以外はアーカイブしないしその上戦利品でない fact2: もし仮にこの彼女以外がアーカイブしないしそれが戦利品でないならばあの表明は重ね合わない ; $hypothesis$ = 「この表明は重ね合わない」ということは確かだ ; $proof$ = 
事実1: この彼女以外はアーカイブしないしその上戦利品でない
事実2: もし仮にこの彼女以外がアーカイブしないしそれが戦利品でないならばあの表明は重ね合わない

仮説: 「この表明は重ね合わない」ということは確かだ