あの沐浴はマルチバイブレータである
fact1: 「「打ち鳴らさないし加えて正規文法でない」ということは成り立たない」ものはある fact2: もし仮に「「打ち鳴らさないし正規文法でない」ということは間違いな」ものがあるとするとあの沐浴はマルチバイブレータだ
$facts$ = fact1: 「「打ち鳴らさないし加えて正規文法でない」ということは成り立たない」ものはある fact2: もし仮に「「打ち鳴らさないし正規文法でない」ということは間違いな」ものがあるとするとあの沐浴はマルチバイブレータだ ; $hypothesis$ = あの沐浴はマルチバイブレータである ; $proof$ = 
事実1: 「「打ち鳴らさないし加えて正規文法でない」ということは成り立たない」ものはある
事実2: もし仮に「「打ち鳴らさないし正規文法でない」ということは間違いな」ものがあるとするとあの沐浴はマルチバイブレータだ

仮説: あの沐浴はマルチバイブレータである