「もし「切り揃えなくて更に一泡だということはない」ということは成り立たないなら忘れっぽくない」物はある
fact1: 仮に「とある物は切り揃えなくてまた一泡でない」ということは成り立たないとしたらそれは忘れっぽくない
fact1 -> int1: もし「あの年齢毎は切り揃えなくて一泡でない」ということは事実と異なるなら忘れっぽくない; int1 -> hypothesis;
$facts$ = fact1: 仮に「とある物は切り揃えなくてまた一泡でない」ということは成り立たないとしたらそれは忘れっぽくない ; $hypothesis$ = 「もし「切り揃えなくて更に一泡だということはない」ということは成り立たないなら忘れっぽくない」物はある ; $proof$ = 
fact1 -> int1: もし「あの年齢毎は切り揃えなくて一泡でない」ということは事実と異なるなら忘れっぽくない; int1 -> hypothesis; __PROVED__
事実1: 仮に「とある物は切り揃えなくてまた一泡でない」ということは成り立たないとしたらそれは忘れっぽくない

仮説: 「もし「切り揃えなくて更に一泡だということはない」ということは成り立たないなら忘れっぽくない」物はある
1. 事実1から、推論1: "もし「あの年齢毎は切り揃えなくて一泡でない」ということは事実と異なるなら忘れっぽくない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。