「この循環置換は投与しない」ということは確かだ
fact1: この証道は投与する fact2: この循環置換は投与する
$facts$ = fact1: この証道は投与する fact2: この循環置換は投与する ; $hypothesis$ = 「この循環置換は投与しない」ということは確かだ ; $proof$ = 
事実1: この証道は投与する
事実2: この循環置換は投与する

仮説: 「この循環置換は投与しない」ということは確かだ