「あの大池は不貞腐れない」ということは事実と異ならない
fact1: あの大池は肉付けでなくて不貞腐れない
$facts$ = fact1: あの大池は肉付けでなくて不貞腐れない ; $hypothesis$ = 「あの大池は不貞腐れない」ということは事実と異ならない ; $proof$ = 
事実1: あの大池は肉付けでなくて不貞腐れない

仮説: 「あの大池は不貞腐れない」ということは事実と異ならない