「もしも「その十位は助け合いでない一方で晴々しい」ということは間違いだとすると「その十位はＪさんだ」ということは間違いだ」ということは成り立たない
fact1: 仮に「あるものは助け合いであるということはないけれど晴々しい」ということは成り立つということはないならば「それはＪさんでない」ということは成り立つ
$facts$ = fact1: 仮に「あるものは助け合いであるということはないけれど晴々しい」ということは成り立つということはないならば「それはＪさんでない」ということは成り立つ ; $hypothesis$ = 「もしも「その十位は助け合いでない一方で晴々しい」ということは間違いだとすると「その十位はＪさんだ」ということは間違いだ」ということは成り立たない ; $proof$ = 
事実1: 仮に「あるものは助け合いであるということはないけれど晴々しい」ということは成り立つということはないならば「それはＪさんでない」ということは成り立つ

仮説: 「もしも「その十位は助け合いでない一方で晴々しい」ということは間違いだとすると「その十位はＪさんだ」ということは間違いだ」ということは成り立たない