「「もし仮に「着古さなくてかつレストランひら松であるということはない」ということは事実と異なるとすれば慈悲深い」物はある」ということは成り立つということはない
fact1: 「その前各項は着古さなくて加えてレストランひら松でない」ということは成り立たないとすると慈悲深い
$facts$ = fact1: 「その前各項は着古さなくて加えてレストランひら松でない」ということは成り立たないとすると慈悲深い ; $hypothesis$ = 「「もし仮に「着古さなくてかつレストランひら松であるということはない」ということは事実と異なるとすれば慈悲深い」物はある」ということは成り立つということはない ; $proof$ = 
事実1: 「その前各項は着古さなくて加えてレストランひら松でない」ということは成り立たないとすると慈悲深い

仮説: 「「もし仮に「着古さなくてかつレストランひら松であるということはない」ということは事実と異なるとすれば慈悲深い」物はある」ということは成り立つということはない