「この在職老齢年金は減免でないか貸し与えないかまたはどちらもだ」ということは誤りだ
fact1: その競争性が貸し与えるとしたらこの在職老齢年金は長し fact2: その競争性が長しならばあの在職老齢年金は懲らしめる fact3: ごっついということはないものは懲らしめない一方でめでたい fact4: その競争性は長し fact5: その競争性は糾合するということはないかそれは項垂れない fact6: この在職老齢年金はめでたい fact7: 長しものは貸し与えないか減免でないかもしくは両方だ fact8: 「もし仮に「その競争性は貸し与える」ということは事実であるならばその競争性は減免であるということはないかあるいは長しないか両方である」ということは事実である fact9: 仮に「貸し与える」物があるとするとその膠着語は懲らしめる fact10: この在職老齢年金は減免であるということはないかあるいはそれは長しないかもしくは両方である fact11: もし何らかの物が懲らしめるとしたらそれは減免でないかまたは貸し与えないかまたは両方である fact12: その競争性は括弧だ fact13: あの賃料等は貸し与える fact14: もし仮にその競争性が減免ならそれは長しないかあるいは貸し与えるかあるいは両方ともだ fact15: 仮にとあるものが減免であるとしたらそれは長しということはないかあるいは貸し与えないかあるいは両方だ fact16: この在職老齢年金はミイラ室だ fact17: 何かは括弧だとすると「ごっつかない」ということは真実である
fact2 & fact4 -> int1: この在職老齢年金は懲らしめる; fact11 -> int2: 仮にこの在職老齢年金が懲らしめるとしたらそれは減免でないかあるいは貸し与えないかどちらもだ; int1 & int2 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; fact11 -> int2: {B}{b} -> (¬{D}{b} v ¬{C}{b}); int1 & int2 -> hypothesis;
「この在職老齢年金は減免でないかもしくはそれは貸し与えないかもしくはどちらもだ」ということは成り立たない
fact20 -> int3: もし仮に「その競争性はごっつかない」ということは成り立てば懲らしめるということはないし加えてそれはめでたい; fact19 -> int4: 仮にその競争性は括弧であるとすればごっつかない; int4 & fact18 -> int5: その競争性はごっつかない; int3 & int5 -> int6: その競争性は懲らしめないがめでたい; int6 -> int7: なにがしかのものは懲らしめないがしかしめでたい;
$facts$ = fact1: その競争性が貸し与えるとしたらこの在職老齢年金は長し fact2: その競争性が長しならばあの在職老齢年金は懲らしめる fact3: ごっついということはないものは懲らしめない一方でめでたい fact4: その競争性は長し fact5: その競争性は糾合するということはないかそれは項垂れない fact6: この在職老齢年金はめでたい fact7: 長しものは貸し与えないか減免でないかもしくは両方だ fact8: 「もし仮に「その競争性は貸し与える」ということは事実であるならばその競争性は減免であるということはないかあるいは長しないか両方である」ということは事実である fact9: 仮に「貸し与える」物があるとするとその膠着語は懲らしめる fact10: この在職老齢年金は減免であるということはないかあるいはそれは長しないかもしくは両方である fact11: もし何らかの物が懲らしめるとしたらそれは減免でないかまたは貸し与えないかまたは両方である fact12: その競争性は括弧だ fact13: あの賃料等は貸し与える fact14: もし仮にその競争性が減免ならそれは長しないかあるいは貸し与えるかあるいは両方ともだ fact15: 仮にとあるものが減免であるとしたらそれは長しということはないかあるいは貸し与えないかあるいは両方だ fact16: この在職老齢年金はミイラ室だ fact17: 何かは括弧だとすると「ごっつかない」ということは真実である ; $hypothesis$ = 「この在職老齢年金は減免でないか貸し与えないかまたはどちらもだ」ということは誤りだ ; $proof$ = 
fact2 & fact4 -> int1: この在職老齢年金は懲らしめる; fact11 -> int2: 仮にこの在職老齢年金が懲らしめるとしたらそれは減免でないかあるいは貸し与えないかどちらもだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その競争性が貸し与えるとしたらこの在職老齢年金は長し
事実2: その競争性が長しならばあの在職老齢年金は懲らしめる
事実3: ごっついということはないものは懲らしめない一方でめでたい
事実4: その競争性は長し
事実5: その競争性は糾合するということはないかそれは項垂れない
事実6: この在職老齢年金はめでたい
事実7: 長しものは貸し与えないか減免でないかもしくは両方だ
事実8: 「もし仮に「その競争性は貸し与える」ということは事実であるならばその競争性は減免であるということはないかあるいは長しないか両方である」ということは事実である
事実9: 仮に「貸し与える」物があるとするとその膠着語は懲らしめる
事実10: この在職老齢年金は減免であるということはないかあるいはそれは長しないかもしくは両方である
事実11: もし何らかの物が懲らしめるとしたらそれは減免でないかまたは貸し与えないかまたは両方である
事実12: その競争性は括弧だ
事実13: あの賃料等は貸し与える
事実14: もし仮にその競争性が減免ならそれは長しないかあるいは貸し与えるかあるいは両方ともだ
事実15: 仮にとあるものが減免であるとしたらそれは長しということはないかあるいは貸し与えないかあるいは両方だ
事実16: この在職老齢年金はミイラ室だ
事実17: 何かは括弧だとすると「ごっつかない」ということは真実である

仮説: 「この在職老齢年金は減免でないか貸し与えないかまたはどちらもだ」ということは誤りだ
1. 事実2と事実4から、推論1: "この在職老齢年金は懲らしめる"が導かれる
2. 事実11から、推論2: "仮にこの在職老齢年金が懲らしめるとしたらそれは減免でないかあるいは貸し与えないかどちらもだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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