そのピーターパンは暗くないしそれに乗艦しない
fact1: そのピーターパンは物憂い fact2: もしそのピーターパンが物憂いとすると暗くないし乗艦しない
$facts$ = fact1: そのピーターパンは物憂い fact2: もしそのピーターパンが物憂いとすると暗くないし乗艦しない ; $hypothesis$ = そのピーターパンは暗くないしそれに乗艦しない ; $proof$ = 
事実1: そのピーターパンは物憂い
事実2: もしそのピーターパンが物憂いとすると暗くないし乗艦しない

仮説: そのピーターパンは暗くないしそれに乗艦しない