「「勝ち残れるとすれば子連れであるということはないか久しか両方ともである」物はある」ということは確かであるということはない
fact1: 格好悪い物は山深くないか育ち難いかもしくは両方ともである fact2: 「もし仮に施設介護サービス費であるならば施行前であるかもしくはコロナウイルスであるか両方ともである」物はある fact3: 「もし仮に勝ち残れれば子連れであるかまたは久しかもしくは両方ともな」ものはある fact4: もしなんらかの物が勝ち残れればそれは子連れだということはないかあるいは久しか両方ともである
fact4 -> int1: もしもあの天保期が勝ち残れるなら子連れでないかそれは久し; int1 -> hypothesis;
$facts$ = fact1: 格好悪い物は山深くないか育ち難いかもしくは両方ともである fact2: 「もし仮に施設介護サービス費であるならば施行前であるかもしくはコロナウイルスであるか両方ともである」物はある fact3: 「もし仮に勝ち残れれば子連れであるかまたは久しかもしくは両方ともな」ものはある fact4: もしなんらかの物が勝ち残れればそれは子連れだということはないかあるいは久しか両方ともである ; $hypothesis$ = 「「勝ち残れるとすれば子連れであるということはないか久しか両方ともである」物はある」ということは確かであるということはない ; $proof$ = 
fact4 -> int1: もしもあの天保期が勝ち残れるなら子連れでないかそれは久し; int1 -> hypothesis; __DISPROVED__
事実1: 格好悪い物は山深くないか育ち難いかもしくは両方ともである
事実2: 「もし仮に施設介護サービス費であるならば施行前であるかもしくはコロナウイルスであるか両方ともである」物はある
事実3: 「もし仮に勝ち残れれば子連れであるかまたは久しかもしくは両方ともな」ものはある
事実4: もしなんらかの物が勝ち残れればそれは子連れだということはないかあるいは久しか両方ともである

仮説: 「「勝ち残れるとすれば子連れであるということはないか久しか両方ともである」物はある」ということは確かであるということはない
1. 事実4から、推論1: "もしもあの天保期が勝ち残れるなら子連れでないかそれは久し"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。