「この脚ブロックは統括であるしそれは訳無い」ということは間違いである
fact1: この脚ブロックは訳無い fact2: この脚ブロックは統括である
$facts$ = fact1: この脚ブロックは訳無い fact2: この脚ブロックは統括である ; $hypothesis$ = 「この脚ブロックは統括であるしそれは訳無い」ということは間違いである ; $proof$ = 
事実1: この脚ブロックは訳無い
事実2: この脚ブロックは統括である

仮説: 「この脚ブロックは統括であるしそれは訳無い」ということは間違いである