仮にこのピッケルが古くないとしたら彼女らしいが大歓迎しない
fact1: 古いということはないものは彼女らしいが大歓迎しない
$facts$ = fact1: 古いということはないものは彼女らしいが大歓迎しない ; $hypothesis$ = 仮にこのピッケルが古くないとしたら彼女らしいが大歓迎しない ; $proof$ = 
事実1: 古いということはないものは彼女らしいが大歓迎しない

仮説: 仮にこのピッケルが古くないとしたら彼女らしいが大歓迎しない