その結紮は失効しない
fact1: 「その結紮は共訳でない」ということは成り立つ fact2: 仮に何らかの物は冷笑しないか失効しないかまたはどちらもならばそれは行儀良い fact3: 「冷笑する」ものはある fact4: もし仮に共訳が冷笑しないとしたら失効しない fact5: もし仮に「冷笑する」物があるとしたらその結紮は失効するけれど共訳でない fact6: 仮に「「冷笑する」ということは正しい」ものがあるとするとその結紮は共訳だということはない
fact3 & fact5 -> int1: その結紮は失効するが共訳でない; int1 -> hypothesis;
その結紮は失効しない
fact7 -> int2: もしその結紮が共訳だけれど冷笑しないとしたら失効するということはない;
$facts$ = fact1: 「その結紮は共訳でない」ということは成り立つ fact2: 仮に何らかの物は冷笑しないか失効しないかまたはどちらもならばそれは行儀良い fact3: 「冷笑する」ものはある fact4: もし仮に共訳が冷笑しないとしたら失効しない fact5: もし仮に「冷笑する」物があるとしたらその結紮は失効するけれど共訳でない fact6: 仮に「「冷笑する」ということは正しい」ものがあるとするとその結紮は共訳だということはない ; $hypothesis$ = その結紮は失効しない ; $proof$ = 
fact3 & fact5 -> int1: その結紮は失効するが共訳でない; int1 -> hypothesis; __DISPROVED__
事実1: 「その結紮は共訳でない」ということは成り立つ
事実2: 仮に何らかの物は冷笑しないか失効しないかまたはどちらもならばそれは行儀良い
事実3: 「冷笑する」ものはある
事実4: もし仮に共訳が冷笑しないとしたら失効しない
事実5: もし仮に「冷笑する」物があるとしたらその結紮は失効するけれど共訳でない
事実6: 仮に「「冷笑する」ということは正しい」ものがあるとするとその結紮は共訳だということはない

仮説: その結紮は失効しない
1. 事実3と事実5から、推論1: "その結紮は失効するが共訳でない"が導かれる
2. 推論1から、仮説が否定される

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