「「もし仮に「ユアでない」ということは事実なら固め技である」ものはある」ということは成り立たない
fact1: 「もしもユアであるとしたら固め技である」物はある fact2: この盛り合わせがユアだとすればそれは固め技だ fact3: あの千九百七十年代中盤はユアでないとすると「ゴールする」ということは成り立つ fact4: なにがしかの物はジョギングしないとすると「それはユアである」ということは成り立つ fact5: もしもこの盛り合わせはユアでないとしたら固め技だ fact6: もしもとある物がインフラでないとすればそれは固め技だ
fact5 -> hypothesis;
fact5 -> hypothesis;
もし仮にこのテキストフィールドがジョギングしないとすればそれはユアである
fact7 -> hypothesis;
$facts$ = fact1: 「もしもユアであるとしたら固め技である」物はある fact2: この盛り合わせがユアだとすればそれは固め技だ fact3: あの千九百七十年代中盤はユアでないとすると「ゴールする」ということは成り立つ fact4: なにがしかの物はジョギングしないとすると「それはユアである」ということは成り立つ fact5: もしもこの盛り合わせはユアでないとしたら固め技だ fact6: もしもとある物がインフラでないとすればそれは固め技だ ; $hypothesis$ = 「「もし仮に「ユアでない」ということは事実なら固め技である」ものはある」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「もしもユアであるとしたら固め技である」物はある
事実2: この盛り合わせがユアだとすればそれは固め技だ
事実3: あの千九百七十年代中盤はユアでないとすると「ゴールする」ということは成り立つ
事実4: なにがしかの物はジョギングしないとすると「それはユアである」ということは成り立つ
事実5: もしもこの盛り合わせはユアでないとしたら固め技だ
事実6: もしもとある物がインフラでないとすればそれは固め技だ

仮説: 「「もし仮に「ユアでない」ということは事実なら固め技である」ものはある」ということは成り立たない
1. 事実5から、仮説が否定される

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