「もし「解し難くておまけに手厳しいということはない」ということは誤っているとするとえげつない」ものはある
fact1: もしも「あのチャペルは解し難いがしかしそれは手厳しいということはない」ということは嘘だとすればえげつない
$facts$ = fact1: もしも「あのチャペルは解し難いがしかしそれは手厳しいということはない」ということは嘘だとすればえげつない ; $hypothesis$ = 「もし「解し難くておまけに手厳しいということはない」ということは誤っているとするとえげつない」ものはある ; $proof$ = 
事実1: もしも「あのチャペルは解し難いがしかしそれは手厳しいということはない」ということは嘘だとすればえげつない

仮説: 「もし「解し難くておまけに手厳しいということはない」ということは誤っているとするとえげつない」ものはある