「この女子青年団は法会であるか越後兵であるかもしくは両方ともだ」ということは間違っている
fact1: あるものは越後兵で法会である fact2: もし心苦しいソールがあるとしたらこの女子青年団は法会である fact3: 何かはソールでないとしたら「法会であるかまたは越後兵であるかもしくは両方ともである」ということは間違いだ fact4: このかんどらが心苦しいとすればこの女子青年団はソールでない fact5: 「心苦しい」ものはある fact6: 仮になんらかのものが重々しいとすると心苦しい fact7: なにかはソールであるし加えて心苦しい
fact7 & fact2 -> int1: この女子青年団は法会である; int1 -> hypothesis;
fact7 & fact2 -> int1: {C}{a}; int1 -> hypothesis;
「この女子青年団は法会であるか越後兵である」ということは真実でない
fact9 -> int2: もしこの女子青年団はソールでないなら「それは法会であるか越後兵である」ということは誤っている; fact10 -> int3: もし仮にこのかんどらが重々しいとすれば心苦しい;
$facts$ = fact1: あるものは越後兵で法会である fact2: もし心苦しいソールがあるとしたらこの女子青年団は法会である fact3: 何かはソールでないとしたら「法会であるかまたは越後兵であるかもしくは両方ともである」ということは間違いだ fact4: このかんどらが心苦しいとすればこの女子青年団はソールでない fact5: 「心苦しい」ものはある fact6: 仮になんらかのものが重々しいとすると心苦しい fact7: なにかはソールであるし加えて心苦しい ; $hypothesis$ = 「この女子青年団は法会であるか越後兵であるかもしくは両方ともだ」ということは間違っている ; $proof$ = 
fact7 & fact2 -> int1: この女子青年団は法会である; int1 -> hypothesis; __DISPROVED__
事実1: あるものは越後兵で法会である
事実2: もし心苦しいソールがあるとしたらこの女子青年団は法会である
事実3: 何かはソールでないとしたら「法会であるかまたは越後兵であるかもしくは両方ともである」ということは間違いだ
事実4: このかんどらが心苦しいとすればこの女子青年団はソールでない
事実5: 「心苦しい」ものはある
事実6: 仮になんらかのものが重々しいとすると心苦しい
事実7: なにかはソールであるし加えて心苦しい

仮説: 「この女子青年団は法会であるか越後兵であるかもしくは両方ともだ」ということは間違っている
1. 事実7と事実2から、推論1: "この女子青年団は法会である"が導かれる
2. 推論1から、仮説が否定される

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