「この会議録は巣くわないがしかしむかつく」ということは成り立つということはない
fact1: 「この会議録はシナプス後部・細胞体部・シナプス前部複合体である」ということは本当である fact2: もし仮にこの会議録がシナプス後部・細胞体部・シナプス前部複合体だとすれば巣くわないがむかつく
$facts$ = fact1: 「この会議録はシナプス後部・細胞体部・シナプス前部複合体である」ということは本当である fact2: もし仮にこの会議録がシナプス後部・細胞体部・シナプス前部複合体だとすれば巣くわないがむかつく ; $hypothesis$ = 「この会議録は巣くわないがしかしむかつく」ということは成り立つということはない ; $proof$ = 
事実1: 「この会議録はシナプス後部・細胞体部・シナプス前部複合体である」ということは本当である
事実2: もし仮にこの会議録がシナプス後部・細胞体部・シナプス前部複合体だとすれば巣くわないがむかつく

仮説: 「この会議録は巣くわないがしかしむかつく」ということは成り立つということはない