この塔身は輩出するしまた明るい
fact1: 仮にこの十六ビット処理系は手早くないとすると「この塔身が輩出するしその上それは明るい」ということは間違いである fact2: この十六ビット処理系は手早くない
$facts$ = fact1: 仮にこの十六ビット処理系は手早くないとすると「この塔身が輩出するしその上それは明るい」ということは間違いである fact2: この十六ビット処理系は手早くない ; $hypothesis$ = この塔身は輩出するしまた明るい ; $proof$ = 
事実1: 仮にこの十六ビット処理系は手早くないとすると「この塔身が輩出するしその上それは明るい」ということは間違いである
事実2: この十六ビット処理系は手早くない

仮説: この塔身は輩出するしまた明るい