「その備忘価額は全壊でおまけに司令部である」ということは本当でない
fact1: この一選挙区は謝罪す fact2: その備忘価額が毳立たないとしたら究明しなくてしかも御労しくない fact3: その備忘価額は司令部である fact4: もしもなにかは植え続けるとしたら「司令部でないかもしくは謝罪すらないかどちらもである」ということは成り立たない fact5: もしこの一選挙区が謝罪すならその備忘価額は全壊だ fact6: 「もし「その備忘価額は司令部でないかあるいは謝罪すらないかまたは両方ともである」ということは嘘であるとするとこの一選挙区は全壊である」ということは正しい fact7: もし仮になにかは究明するということはないとすればそれは植え続けるし追熟である fact8: もしも「何かはふぐりでなくてかつ許し合うということはない」ということは嘘ならばそれは毳立たない
fact5 & fact1 -> int1: その備忘価額は全壊である; int1 & fact3 -> hypothesis;
この一選挙区は全壊だ
fact10 -> int2: 仮にその備忘価額は植え続けるなら「司令部であるということはないかあるいは謝罪すらないかもしくはどちらもだ」ということは事実と異なる; fact12 -> int3: 「その備忘価額は究明するということはない」ということは間違っていないとしたらそれは植え続けるしかつそれは追熟だ; fact9 -> int4: 仮に「その備忘価額はふぐりでないしおまけに許し合わない」ということは間違いであるなら毳立つということはない;
$facts$ = fact1: この一選挙区は謝罪す fact2: その備忘価額が毳立たないとしたら究明しなくてしかも御労しくない fact3: その備忘価額は司令部である fact4: もしもなにかは植え続けるとしたら「司令部でないかもしくは謝罪すらないかどちらもである」ということは成り立たない fact5: もしこの一選挙区が謝罪すならその備忘価額は全壊だ fact6: 「もし「その備忘価額は司令部でないかあるいは謝罪すらないかまたは両方ともである」ということは嘘であるとするとこの一選挙区は全壊である」ということは正しい fact7: もし仮になにかは究明するということはないとすればそれは植え続けるし追熟である fact8: もしも「何かはふぐりでなくてかつ許し合うということはない」ということは嘘ならばそれは毳立たない ; $hypothesis$ = 「その備忘価額は全壊でおまけに司令部である」ということは本当でない ; $proof$ = 
fact5 & fact1 -> int1: その備忘価額は全壊である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この一選挙区は謝罪す
事実2: その備忘価額が毳立たないとしたら究明しなくてしかも御労しくない
事実3: その備忘価額は司令部である
事実4: もしもなにかは植え続けるとしたら「司令部でないかもしくは謝罪すらないかどちらもである」ということは成り立たない
事実5: もしこの一選挙区が謝罪すならその備忘価額は全壊だ
事実6: 「もし「その備忘価額は司令部でないかあるいは謝罪すらないかまたは両方ともである」ということは嘘であるとするとこの一選挙区は全壊である」ということは正しい
事実7: もし仮になにかは究明するということはないとすればそれは植え続けるし追熟である
事実8: もしも「何かはふぐりでなくてかつ許し合うということはない」ということは嘘ならばそれは毳立たない

仮説: 「その備忘価額は全壊でおまけに司令部である」ということは本当でない
1. 事実5と事実1から、推論1: "その備忘価額は全壊である"が導かれる
2. 推論1と事実3から、仮説が否定される

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