あのアパートメント事業は万里でないがそれは大型化する
fact1: もしも「合同な」物はあるとしたら「あのアパートメント事業は万里でないがしかし大型化する」ということは間違いだ fact2: 何らかのものは合同である
$facts$ = fact1: もしも「合同な」物はあるとしたら「あのアパートメント事業は万里でないがしかし大型化する」ということは間違いだ fact2: 何らかのものは合同である ; $hypothesis$ = あのアパートメント事業は万里でないがそれは大型化する ; $proof$ = 
事実1: もしも「合同な」物はあるとしたら「あのアパートメント事業は万里でないがしかし大型化する」ということは間違いだ
事実2: 何らかのものは合同である

仮説: あのアパートメント事業は万里でないがそれは大型化する