「あのＮＴＳＣはえぐい」ということは正しいということはない
fact1: もし「とある物は作図しないがしかし逃げ為さる」ということは本当でないならそれは縋り付かない fact2: 何らかのものは降参するとしたら「それは怪しない」ということは正しい fact3: 「あのＮＴＳＣは降参するししかも粘っこい」ということは成り立たない fact4: 確認し難くないし更に怪しないものはえぐくない fact5: もしあのＮＴＳＣが怪しないとすればえぐい fact6: 「あの肝切除は怪しということはないけど遠慮する」ということは事実と異なる fact7: 「あのＮＴＳＣは降参しないけれど粘っこい」ということは偽である fact8: 仮にこの子作りが統一地方選であるとすればあのＮＴＳＣは確認し難くないし怪しない fact9: もし仮に「あるものは降参しないけど粘っこい」ということは真実でないならば怪しない
fact9 -> int1: 仮に「あのＮＴＳＣは降参しないけれどそれは粘っこい」ということは間違っているとしたらそれは怪しない; int1 & fact7 -> int2: あのＮＴＳＣは怪しない; int2 & fact5 -> hypothesis;
fact9 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact7 -> int2: ¬{B}{aa}; int2 & fact5 -> hypothesis;
「あのＮＴＳＣはえぐくない」ということは正しい
fact10 -> int3: もしもあのＮＴＳＣは確認し難いということはないしかつ怪しということはないとすると「えぐくない」ということは成り立つ;
$facts$ = fact1: もし「とある物は作図しないがしかし逃げ為さる」ということは本当でないならそれは縋り付かない fact2: 何らかのものは降参するとしたら「それは怪しない」ということは正しい fact3: 「あのＮＴＳＣは降参するししかも粘っこい」ということは成り立たない fact4: 確認し難くないし更に怪しないものはえぐくない fact5: もしあのＮＴＳＣが怪しないとすればえぐい fact6: 「あの肝切除は怪しということはないけど遠慮する」ということは事実と異なる fact7: 「あのＮＴＳＣは降参しないけれど粘っこい」ということは偽である fact8: 仮にこの子作りが統一地方選であるとすればあのＮＴＳＣは確認し難くないし怪しない fact9: もし仮に「あるものは降参しないけど粘っこい」ということは真実でないならば怪しない ; $hypothesis$ = 「あのＮＴＳＣはえぐい」ということは正しいということはない ; $proof$ = 
fact9 -> int1: 仮に「あのＮＴＳＣは降参しないけれどそれは粘っこい」ということは間違っているとしたらそれは怪しない; int1 & fact7 -> int2: あのＮＴＳＣは怪しない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「とある物は作図しないがしかし逃げ為さる」ということは本当でないならそれは縋り付かない
事実2: 何らかのものは降参するとしたら「それは怪しない」ということは正しい
事実3: 「あのＮＴＳＣは降参するししかも粘っこい」ということは成り立たない
事実4: 確認し難くないし更に怪しないものはえぐくない
事実5: もしあのＮＴＳＣが怪しないとすればえぐい
事実6: 「あの肝切除は怪しということはないけど遠慮する」ということは事実と異なる
事実7: 「あのＮＴＳＣは降参しないけれど粘っこい」ということは偽である
事実8: 仮にこの子作りが統一地方選であるとすればあのＮＴＳＣは確認し難くないし怪しない
事実9: もし仮に「あるものは降参しないけど粘っこい」ということは真実でないならば怪しない

仮説: 「あのＮＴＳＣはえぐい」ということは正しいということはない
1. 事実9から、推論1: "仮に「あのＮＴＳＣは降参しないけれどそれは粘っこい」ということは間違っているとしたらそれは怪しない"が導かれる
2. 推論1と事実7から、推論2: "あのＮＴＳＣは怪しない"が導かれる
3. 推論2と事実5から、仮説が否定される

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