この薬叉はだぶつくということはない
fact1: この薬叉は取り込めるけれど安っぽいということはない fact2: もしもこの薬叉は取り込める一方で安っぽくないとしたらだぶつく
$facts$ = fact1: この薬叉は取り込めるけれど安っぽいということはない fact2: もしもこの薬叉は取り込める一方で安っぽくないとしたらだぶつく ; $hypothesis$ = この薬叉はだぶつくということはない ; $proof$ = 
事実1: この薬叉は取り込めるけれど安っぽいということはない
事実2: もしもこの薬叉は取り込める一方で安っぽくないとしたらだぶつく

仮説: この薬叉はだぶつくということはない