このリバーは返納しない
fact1: このリバーは敬愛す fact2: もし仮に「このリバーは敬愛す」ということは成り立つとしたら返納する
$facts$ = fact1: このリバーは敬愛す fact2: もし仮に「このリバーは敬愛す」ということは成り立つとしたら返納する ; $hypothesis$ = このリバーは返納しない ; $proof$ = 
事実1: このリバーは敬愛す
事実2: もし仮に「このリバーは敬愛す」ということは成り立つとしたら返納する

仮説: このリバーは返納しない