「このステップは取り難くないししかも費やせるということはない」ということは間違っている
fact1: 「「このステップは取り難くないしかつそれは費やせない」ということは間違っている」ということは確かだ
$facts$ = fact1: 「「このステップは取り難くないしかつそれは費やせない」ということは間違っている」ということは確かだ ; $hypothesis$ = 「このステップは取り難くないししかも費やせるということはない」ということは間違っている ; $proof$ = 
事実1: 「「このステップは取り難くないしかつそれは費やせない」ということは間違っている」ということは確かだ

仮説: 「このステップは取り難くないししかも費やせるということはない」ということは間違っている