この付款は第七中隊だ
fact1: もし仮にこの付款が第七中隊だとするとマラリア原虫でない fact2: 「この付款は赤しが二等分しない」ということは成り立たない fact3: もし「この付款は赤しけれどそれは二等分しない」ということは成り立たないとすれば模写でない fact4: もしもあるものは模写でないならば第七中隊でない fact5: もしこの付款が伸び伸びするということはないとすると二等分しない fact6: 「この付款は第七中隊であるしまた選択し易い」ということは誤りだ
fact3 & fact2 -> int1: この付款は模写でない; fact4 -> int2: もしもこの付款は模写でないとすると第七中隊でない; int1 & int2 -> hypothesis;
fact3 & fact2 -> int1: ¬{B}{a}; fact4 -> int2: ¬{B}{a} -> ¬{A}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮にこの付款が第七中隊だとするとマラリア原虫でない fact2: 「この付款は赤しが二等分しない」ということは成り立たない fact3: もし「この付款は赤しけれどそれは二等分しない」ということは成り立たないとすれば模写でない fact4: もしもあるものは模写でないならば第七中隊でない fact5: もしこの付款が伸び伸びするということはないとすると二等分しない fact6: 「この付款は第七中隊であるしまた選択し易い」ということは誤りだ ; $hypothesis$ = この付款は第七中隊だ ; $proof$ = 
fact3 & fact2 -> int1: この付款は模写でない; fact4 -> int2: もしもこの付款は模写でないとすると第七中隊でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの付款が第七中隊だとするとマラリア原虫でない
事実2: 「この付款は赤しが二等分しない」ということは成り立たない
事実3: もし「この付款は赤しけれどそれは二等分しない」ということは成り立たないとすれば模写でない
事実4: もしもあるものは模写でないならば第七中隊でない
事実5: もしこの付款が伸び伸びするということはないとすると二等分しない
事実6: 「この付款は第七中隊であるしまた選択し易い」ということは誤りだ

仮説: この付款は第七中隊だ
1. 事実3と事実2から、推論1: "この付款は模写でない"が導かれる
2. 事実4から、推論2: "もしもこの付款は模写でないとすると第七中隊でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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