この保証付きは忘れっぽくない
fact1: もし「「高まるということはなくて譲渡すらない」ということは間違っている」ものがあるとしたらこの保証付きは忘れっぽい fact2: 「「高まらないしそれに譲渡すらない」ということは間違いである」ものはある
$facts$ = fact1: もし「「高まるということはなくて譲渡すらない」ということは間違っている」ものがあるとしたらこの保証付きは忘れっぽい fact2: 「「高まらないしそれに譲渡すらない」ということは間違いである」ものはある ; $hypothesis$ = この保証付きは忘れっぽくない ; $proof$ = 
事実1: もし「「高まるということはなくて譲渡すらない」ということは間違っている」ものがあるとしたらこの保証付きは忘れっぽい
事実2: 「「高まらないしそれに譲渡すらない」ということは間違いである」ものはある

仮説: この保証付きは忘れっぽくない