このバンダースナッチは詰まり易いということはない
fact1: もし仮にこのバンダースナッチがすっごいとしたらそれは詰まり易い fact2: このバンダースナッチはすっごい
$facts$ = fact1: もし仮にこのバンダースナッチがすっごいとしたらそれは詰まり易い fact2: このバンダースナッチはすっごい ; $hypothesis$ = このバンダースナッチは詰まり易いということはない ; $proof$ = 
事実1: もし仮にこのバンダースナッチがすっごいとしたらそれは詰まり易い
事実2: このバンダースナッチはすっごい

仮説: このバンダースナッチは詰まり易いということはない