その小宮山家はＦＭだ
fact1: もし仮に「その小宮山家は自転するということはない一方で掃除し易い」ということは誤りだとすると「それはＦＭだ」ということは真実である fact2: 「その小宮山家は自転しないがしかし掃除し易い」ということは成り立たない
$facts$ = fact1: もし仮に「その小宮山家は自転するということはない一方で掃除し易い」ということは誤りだとすると「それはＦＭだ」ということは真実である fact2: 「その小宮山家は自転しないがしかし掃除し易い」ということは成り立たない ; $hypothesis$ = その小宮山家はＦＭだ ; $proof$ = 
事実1: もし仮に「その小宮山家は自転するということはない一方で掃除し易い」ということは誤りだとすると「それはＦＭだ」ということは真実である
事実2: 「その小宮山家は自転しないがしかし掃除し易い」ということは成り立たない

仮説: その小宮山家はＦＭだ