「「この斜め半分は一揆勢でないかまたは一見するかあるいはどちらもである」ということは誤りだ」ということは成り立つ
fact1: 「あのＡ社は一見するけれど調査計画書でない」ということは成り立たないなら「この斜め半分は一揆勢である」ということは確かである fact2: もし「あのＡ社は荒稼ぎする」ということは真実であるとするとあの算式は一見する fact3: もしも「あのＡ社は調査計画書であるが荒稼ぎしない」ということは成り立たないならあの算式は一見する fact4: 「この斜め半分は荒稼ぎするが一見しない」ということは成り立つということはない fact5: 「あのＡ社は一見するしおまけに荒稼ぎする」ということは成り立たない fact6: もしあの算式は一見すれば「この斜め半分は一揆勢でないか一見するかあるいは両方ともである」ということは本当である fact7: 「あのＡ社は調査計画書だがそれは荒稼ぎするということはない」ということは間違っている
fact3 & fact7 -> int1: あの算式は一見する; int1 & fact6 -> hypothesis;
$facts$ = fact1: 「あのＡ社は一見するけれど調査計画書でない」ということは成り立たないなら「この斜め半分は一揆勢である」ということは確かである fact2: もし「あのＡ社は荒稼ぎする」ということは真実であるとするとあの算式は一見する fact3: もしも「あのＡ社は調査計画書であるが荒稼ぎしない」ということは成り立たないならあの算式は一見する fact4: 「この斜め半分は荒稼ぎするが一見しない」ということは成り立つということはない fact5: 「あのＡ社は一見するしおまけに荒稼ぎする」ということは成り立たない fact6: もしあの算式は一見すれば「この斜め半分は一揆勢でないか一見するかあるいは両方ともである」ということは本当である fact7: 「あのＡ社は調査計画書だがそれは荒稼ぎするということはない」ということは間違っている ; $hypothesis$ = 「「この斜め半分は一揆勢でないかまたは一見するかあるいはどちらもである」ということは誤りだ」ということは成り立つ ; $proof$ = 
fact3 & fact7 -> int1: あの算式は一見する; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「あのＡ社は一見するけれど調査計画書でない」ということは成り立たないなら「この斜め半分は一揆勢である」ということは確かである
事実2: もし「あのＡ社は荒稼ぎする」ということは真実であるとするとあの算式は一見する
事実3: もしも「あのＡ社は調査計画書であるが荒稼ぎしない」ということは成り立たないならあの算式は一見する
事実4: 「この斜め半分は荒稼ぎするが一見しない」ということは成り立つということはない
事実5: 「あのＡ社は一見するしおまけに荒稼ぎする」ということは成り立たない
事実6: もしあの算式は一見すれば「この斜め半分は一揆勢でないか一見するかあるいは両方ともである」ということは本当である
事実7: 「あのＡ社は調査計画書だがそれは荒稼ぎするということはない」ということは間違っている

仮説: 「「この斜め半分は一揆勢でないかまたは一見するかあるいはどちらもである」ということは誤りだ」ということは成り立つ
1. 事実3と事実7から、推論1: "あの算式は一見する"が導かれる
2. 推論1と事実6から、仮説が否定される

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