あの応用は存在等である
fact1: 「あの応用は抗い難くないしおまけに報わない」ということは嘘である fact2: もし仮に「あの応用は抗い難くないしそれは報うということはない」ということは事実でないとするとそれは存在等でない
$facts$ = fact1: 「あの応用は抗い難くないしおまけに報わない」ということは嘘である fact2: もし仮に「あの応用は抗い難くないしそれは報うということはない」ということは事実でないとするとそれは存在等でない ; $hypothesis$ = あの応用は存在等である ; $proof$ = 
事実1: 「あの応用は抗い難くないしおまけに報わない」ということは嘘である
事実2: もし仮に「あの応用は抗い難くないしそれは報うということはない」ということは事実でないとするとそれは存在等でない

仮説: あの応用は存在等である