「その二Ａ―Ｃは朱書きだということはないし防除しない」ということは偽だ
fact1: その二Ａ―Ｃが差し入れないしかつ目標達成でないとしたら関数ＦＡでない fact2: もしなにがしかのものが関数ＦＡでないならば朱書きでなくて防除しない fact3: その市場参加者は合い難くて心苦しい fact4: 関数ＦＡはＶＨでなくてかつ書き難くない fact5: その二Ａ―Ｃは差し入れないししかも目標達成でない fact6: 「合い難いものは差し入れないけど目標達成である」ということは誤っているということはない
fact2 -> int1: その二Ａ―Ｃは関数ＦＡでないとしたら朱書きでなくて防除しない; fact1 & fact5 -> int2: その二Ａ―Ｃは関数ＦＡであるということはない; int1 & int2 -> hypothesis;
この決算日現在はＶＨでなくてかつ書き難くない
fact7 -> int3: 仮にこの決算日現在は関数ＦＡであるとしたらＶＨでないし加えて書き難くない;
$facts$ = fact1: その二Ａ―Ｃが差し入れないしかつ目標達成でないとしたら関数ＦＡでない fact2: もしなにがしかのものが関数ＦＡでないならば朱書きでなくて防除しない fact3: その市場参加者は合い難くて心苦しい fact4: 関数ＦＡはＶＨでなくてかつ書き難くない fact5: その二Ａ―Ｃは差し入れないししかも目標達成でない fact6: 「合い難いものは差し入れないけど目標達成である」ということは誤っているということはない ; $hypothesis$ = 「その二Ａ―Ｃは朱書きだということはないし防除しない」ということは偽だ ; $proof$ = 
fact2 -> int1: その二Ａ―Ｃは関数ＦＡでないとしたら朱書きでなくて防除しない; fact1 & fact5 -> int2: その二Ａ―Ｃは関数ＦＡであるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その二Ａ―Ｃが差し入れないしかつ目標達成でないとしたら関数ＦＡでない
事実2: もしなにがしかのものが関数ＦＡでないならば朱書きでなくて防除しない
事実3: その市場参加者は合い難くて心苦しい
事実4: 関数ＦＡはＶＨでなくてかつ書き難くない
事実5: その二Ａ―Ｃは差し入れないししかも目標達成でない
事実6: 「合い難いものは差し入れないけど目標達成である」ということは誤っているということはない

仮説: 「その二Ａ―Ｃは朱書きだということはないし防除しない」ということは偽だ
1. 事実2から、推論1: "その二Ａ―Ｃは関数ＦＡでないとしたら朱書きでなくて防除しない"が導かれる
2. 事実1と事実5から、推論2: "その二Ａ―Ｃは関数ＦＡであるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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