「もしも「このフロアモップは絶滅する」ということは成り立つとするとこのフロアモップは会議型だ」ということは確かでない
fact1: とあるものが絶滅するなら会議型だ
$facts$ = fact1: とあるものが絶滅するなら会議型だ ; $hypothesis$ = 「もしも「このフロアモップは絶滅する」ということは成り立つとするとこのフロアモップは会議型だ」ということは確かでない ; $proof$ = 
事実1: とあるものが絶滅するなら会議型だ

仮説: 「もしも「このフロアモップは絶滅する」ということは成り立つとするとこのフロアモップは会議型だ」ということは確かでない