この岩戸はつんのめるということはない
fact1: 仮にこの岩戸がうら若しないかそれは作業し易くないとするとつんのめらない fact2: この岩戸はうら若しないか作業し易いということはないかあるいは両方ともである
$facts$ = fact1: 仮にこの岩戸がうら若しないかそれは作業し易くないとするとつんのめらない fact2: この岩戸はうら若しないか作業し易いということはないかあるいは両方ともである ; $hypothesis$ = この岩戸はつんのめるということはない ; $proof$ = 
事実1: 仮にこの岩戸がうら若しないかそれは作業し易くないとするとつんのめらない
事実2: この岩戸はうら若しないか作業し易いということはないかあるいは両方ともである

仮説: この岩戸はつんのめるということはない