このエッセーは根掛かりする
fact1: 低しものはある fact2: もしも「低し」ものがあるとすればこのエッセーは高いかあるいは伝導性であるかまたはどちらもだ fact3: もし何らかのものは泡予告であるなら「根掛かりしなくてその上低しない」ということは間違っている fact4: もしなにかは低しとすればこのエッセーは高いかもしくは伝導性であるということはない fact5: もしも何らかの物は高いかあるいは伝導性であるということはないとしたら「それは根掛かりしない」ということは確かだ
fact5 -> int1: もし仮にこのエッセーが高いかもしくは伝導性でないかどちらもであるならば根掛かりしない; fact1 & fact4 -> int2: このエッセーは高いかまたはそれは伝導性でない; int1 & int2 -> hypothesis;
fact5 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact1 & fact4 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
このエッセーは根掛かりする
fact6 -> int3: 「この担当役員は泡予告である」ということは事実であるとしたら「根掛かりしなくて更に低しない」ということは誤りである;
$facts$ = fact1: 低しものはある fact2: もしも「低し」ものがあるとすればこのエッセーは高いかあるいは伝導性であるかまたはどちらもだ fact3: もし何らかのものは泡予告であるなら「根掛かりしなくてその上低しない」ということは間違っている fact4: もしなにかは低しとすればこのエッセーは高いかもしくは伝導性であるということはない fact5: もしも何らかの物は高いかあるいは伝導性であるということはないとしたら「それは根掛かりしない」ということは確かだ ; $hypothesis$ = このエッセーは根掛かりする ; $proof$ = 
fact5 -> int1: もし仮にこのエッセーが高いかもしくは伝導性でないかどちらもであるならば根掛かりしない; fact1 & fact4 -> int2: このエッセーは高いかまたはそれは伝導性でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 低しものはある
事実2: もしも「低し」ものがあるとすればこのエッセーは高いかあるいは伝導性であるかまたはどちらもだ
事実3: もし何らかのものは泡予告であるなら「根掛かりしなくてその上低しない」ということは間違っている
事実4: もしなにかは低しとすればこのエッセーは高いかもしくは伝導性であるということはない
事実5: もしも何らかの物は高いかあるいは伝導性であるということはないとしたら「それは根掛かりしない」ということは確かだ

仮説: このエッセーは根掛かりする
1. 事実5から、推論1: "もし仮にこのエッセーが高いかもしくは伝導性でないかどちらもであるならば根掛かりしない"が導かれる
2. 事実1と事実4から、推論2: "このエッセーは高いかまたはそれは伝導性でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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