この二天記はコントロールポイントである
fact1: 仮にあのボディサイズが二十五ＭＬでないとしたらこの二天記はコントロールポイントだ fact2: あのボディサイズは二十五ＭＬであるということはない
$facts$ = fact1: 仮にあのボディサイズが二十五ＭＬでないとしたらこの二天記はコントロールポイントだ fact2: あのボディサイズは二十五ＭＬであるということはない ; $hypothesis$ = この二天記はコントロールポイントである ; $proof$ = 
事実1: 仮にあのボディサイズが二十五ＭＬでないとしたらこの二天記はコントロールポイントだ
事実2: あのボディサイズは二十五ＭＬであるということはない

仮説: この二天記はコントロールポイントである