「あの諜報当局は二千二年秋でないかもしくはそれは賀状でないかもしくはどちらもである」ということは偽である
fact1: もし仮にそのＭＳＩワンが養子先でないならその実証的証拠は三十一日発行であるがしかし希望小売り価格でない fact2: もし仮になんらかの物は算定だとすると「初会合であるかあるいは入れ難くないかもしくは両方ともである」ということは偽である fact3: そのＭＳＩワンは希望小売り価格だがしかし入れ難くない fact4: もしもとあるものは養子先でないならばそれは二千二年秋でないか賀状であるかあるいはどちらもである fact5: なにかは養子先であるということはないとすればそれは二千二年秋でないかあるいは賀状でないかどちらもである fact6: もし仮に「ある物は養子先だということはない」ということは真実だとすると二千二年秋であるかあるいは賀状であるということはないかあるいは両方である fact7: 仮に「そのＭＳＩワンは希望小売り価格であるがしかし入れ難くない」ということは誤っているとすればあの諜報当局は養子先である fact8: もしとあるものは養子先であるとしたら「二千二年秋でないかあるいはそれは賀状でないかあるいは両方だ」ということは嘘だ fact9: 「あの諜報当局は二千二年秋であるかそれは賀状でないかあるいはどちらもだ」ということは間違っていない fact10: 「仮に「何かは初会合であるかまたはそれは入れ難くないかもしくは両方だ」ということは成り立たないとしたらそれは養子先でない」ということは確かである fact11: もしもそのＭＳＩワンが希望小売り価格だけど入れ難くないならあの諜報当局は養子先でない fact12: もし仮にその役負担は初会合だということはないなら「そのＭＳＩワンは希望小売り価格であるがしかし入れ難いということはない」ということは嘘である
fact5 -> int1: もしもあの諜報当局は養子先でないとしたら二千二年秋でないかあるいは賀状でないか両方ともである; fact3 & fact11 -> int2: あの諜報当局は養子先でない; int1 & int2 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); fact3 & fact11 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
その実証的証拠は三十一日発行だ一方でそれは希望小売り価格でない
fact15 -> int3: もしも「そのＭＳＩワンは初会合であるかあるいは入れ難くないか両方である」ということは成り立たないならそれは養子先でない; fact13 -> int4: もしもそのＭＳＩワンは算定であるとすると「初会合であるかまたは入れ難くないかあるいは両方だ」ということは成り立たない;
$facts$ = fact1: もし仮にそのＭＳＩワンが養子先でないならその実証的証拠は三十一日発行であるがしかし希望小売り価格でない fact2: もし仮になんらかの物は算定だとすると「初会合であるかあるいは入れ難くないかもしくは両方ともである」ということは偽である fact3: そのＭＳＩワンは希望小売り価格だがしかし入れ難くない fact4: もしもとあるものは養子先でないならばそれは二千二年秋でないか賀状であるかあるいはどちらもである fact5: なにかは養子先であるということはないとすればそれは二千二年秋でないかあるいは賀状でないかどちらもである fact6: もし仮に「ある物は養子先だということはない」ということは真実だとすると二千二年秋であるかあるいは賀状であるということはないかあるいは両方である fact7: 仮に「そのＭＳＩワンは希望小売り価格であるがしかし入れ難くない」ということは誤っているとすればあの諜報当局は養子先である fact8: もしとあるものは養子先であるとしたら「二千二年秋でないかあるいはそれは賀状でないかあるいは両方だ」ということは嘘だ fact9: 「あの諜報当局は二千二年秋であるかそれは賀状でないかあるいはどちらもだ」ということは間違っていない fact10: 「仮に「何かは初会合であるかまたはそれは入れ難くないかもしくは両方だ」ということは成り立たないとしたらそれは養子先でない」ということは確かである fact11: もしもそのＭＳＩワンが希望小売り価格だけど入れ難くないならあの諜報当局は養子先でない fact12: もし仮にその役負担は初会合だということはないなら「そのＭＳＩワンは希望小売り価格であるがしかし入れ難いということはない」ということは嘘である ; $hypothesis$ = 「あの諜報当局は二千二年秋でないかもしくはそれは賀状でないかもしくはどちらもである」ということは偽である ; $proof$ = 
fact5 -> int1: もしもあの諜報当局は養子先でないとしたら二千二年秋でないかあるいは賀状でないか両方ともである; fact3 & fact11 -> int2: あの諜報当局は養子先でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にそのＭＳＩワンが養子先でないならその実証的証拠は三十一日発行であるがしかし希望小売り価格でない
事実2: もし仮になんらかの物は算定だとすると「初会合であるかあるいは入れ難くないかもしくは両方ともである」ということは偽である
事実3: そのＭＳＩワンは希望小売り価格だがしかし入れ難くない
事実4: もしもとあるものは養子先でないならばそれは二千二年秋でないか賀状であるかあるいはどちらもである
事実5: なにかは養子先であるということはないとすればそれは二千二年秋でないかあるいは賀状でないかどちらもである
事実6: もし仮に「ある物は養子先だということはない」ということは真実だとすると二千二年秋であるかあるいは賀状であるということはないかあるいは両方である
事実7: 仮に「そのＭＳＩワンは希望小売り価格であるがしかし入れ難くない」ということは誤っているとすればあの諜報当局は養子先である
事実8: もしとあるものは養子先であるとしたら「二千二年秋でないかあるいはそれは賀状でないかあるいは両方だ」ということは嘘だ
事実9: 「あの諜報当局は二千二年秋であるかそれは賀状でないかあるいはどちらもだ」ということは間違っていない
事実10: 「仮に「何かは初会合であるかまたはそれは入れ難くないかもしくは両方だ」ということは成り立たないとしたらそれは養子先でない」ということは確かである
事実11: もしもそのＭＳＩワンが希望小売り価格だけど入れ難くないならあの諜報当局は養子先でない
事実12: もし仮にその役負担は初会合だということはないなら「そのＭＳＩワンは希望小売り価格であるがしかし入れ難いということはない」ということは嘘である

仮説: 「あの諜報当局は二千二年秋でないかもしくはそれは賀状でないかもしくはどちらもである」ということは偽である
1. 事実5から、推論1: "もしもあの諜報当局は養子先でないとしたら二千二年秋でないかあるいは賀状でないか両方ともである"が導かれる
2. 事実3と事実11から、推論2: "あの諜報当局は養子先でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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