そのベビードールは扱い難くない
fact1: そのベビードールは野太くないけれどそれは容易い fact2: もしもそのベビードールは野太くないけれど容易いとすると扱い難い
$facts$ = fact1: そのベビードールは野太くないけれどそれは容易い fact2: もしもそのベビードールは野太くないけれど容易いとすると扱い難い ; $hypothesis$ = そのベビードールは扱い難くない ; $proof$ = 
事実1: そのベビードールは野太くないけれどそれは容易い
事実2: もしもそのベビードールは野太くないけれど容易いとすると扱い難い

仮説: そのベビードールは扱い難くない