「この軸荷重は連帯保証するということはない」ということは真実だ
fact1: この軸荷重は沖縄決戦であるならそれは連帯保証する fact2: この軸荷重は沖縄決戦だ
$facts$ = fact1: この軸荷重は沖縄決戦であるならそれは連帯保証する fact2: この軸荷重は沖縄決戦だ ; $hypothesis$ = 「この軸荷重は連帯保証するということはない」ということは真実だ ; $proof$ = 
事実1: この軸荷重は沖縄決戦であるならそれは連帯保証する
事実2: この軸荷重は沖縄決戦だ

仮説: 「この軸荷重は連帯保証するということはない」ということは真実だ