その最高値は弁解がましい
fact1: もし仮に「この実務経験要件は十一時近くでない一方で明るい」ということは偽であるとしたらそれは消化し難くない fact2: その最高値は啄まない fact3: 「送り返すかもしくは気難しい」物はある fact4: もしも「とあるものは捕らえ込むということはない一方で啄む」ということは成り立たないとすれば「啄まない」ということは確かである fact5: 「「送り返すかまたは気難しい」ということは本当でない」ものはある fact6: 「気兼ねは弁解がましい」ということは真実である fact7: もしも「「この実務経験要件は啄まなくてしかも消化し難くない」ということは成り立たない」ということは本当であるならばあの最高値は弁解がましかない fact8: もし仮に何らかのものは消化し難くないとすれば「捕らえ込まないけど啄む」ということは偽だ fact9: もしなんらかの物は気兼ねでないとすれば「それは啄まなくてしかも消化し難くない」ということは成り立たない fact10: 仮に「「送り返すかあるいは気難しいかもしくは両方だ」ということは正しくない」物はあれば「この実務経験要件は気兼ねでない」ということは正しい
fact5 & fact10 -> int1: 「この実務経験要件は気兼ねでない」ということは成り立つ; fact9 -> int2: 「この実務経験要件は気兼ねでない」ということは成り立つとすると「啄まないしそれに消化し難いということはない」ということは成り立たない; int1 & int2 -> int3: 「この実務経験要件は啄むということはなくてまたそれは消化し難くない」ということは成り立つということはない; int3 & fact7 -> hypothesis;
fact5 & fact10 -> int1: ¬{A}{a}; fact9 -> int2: ¬{A}{a} -> ¬(¬{B}{a} & ¬{C}{a}); int1 & int2 -> int3: ¬(¬{B}{a} & ¬{C}{a}); int3 & fact7 -> hypothesis;
その最高値は弁解がましい
fact11 -> int4: もし仮にその最高値が気兼ねだとしたら弁解がましい;
$facts$ = fact1: もし仮に「この実務経験要件は十一時近くでない一方で明るい」ということは偽であるとしたらそれは消化し難くない fact2: その最高値は啄まない fact3: 「送り返すかもしくは気難しい」物はある fact4: もしも「とあるものは捕らえ込むということはない一方で啄む」ということは成り立たないとすれば「啄まない」ということは確かである fact5: 「「送り返すかまたは気難しい」ということは本当でない」ものはある fact6: 「気兼ねは弁解がましい」ということは真実である fact7: もしも「「この実務経験要件は啄まなくてしかも消化し難くない」ということは成り立たない」ということは本当であるならばあの最高値は弁解がましかない fact8: もし仮に何らかのものは消化し難くないとすれば「捕らえ込まないけど啄む」ということは偽だ fact9: もしなんらかの物は気兼ねでないとすれば「それは啄まなくてしかも消化し難くない」ということは成り立たない fact10: 仮に「「送り返すかあるいは気難しいかもしくは両方だ」ということは正しくない」物はあれば「この実務経験要件は気兼ねでない」ということは正しい ; $hypothesis$ = その最高値は弁解がましい ; $proof$ = 
fact5 & fact10 -> int1: 「この実務経験要件は気兼ねでない」ということは成り立つ; fact9 -> int2: 「この実務経験要件は気兼ねでない」ということは成り立つとすると「啄まないしそれに消化し難いということはない」ということは成り立たない; int1 & int2 -> int3: 「この実務経験要件は啄むということはなくてまたそれは消化し難くない」ということは成り立つということはない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「この実務経験要件は十一時近くでない一方で明るい」ということは偽であるとしたらそれは消化し難くない
事実2: その最高値は啄まない
事実3: 「送り返すかもしくは気難しい」物はある
事実4: もしも「とあるものは捕らえ込むということはない一方で啄む」ということは成り立たないとすれば「啄まない」ということは確かである
事実5: 「「送り返すかまたは気難しい」ということは本当でない」ものはある
事実6: 「気兼ねは弁解がましい」ということは真実である
事実7: もしも「「この実務経験要件は啄まなくてしかも消化し難くない」ということは成り立たない」ということは本当であるならばあの最高値は弁解がましかない
事実8: もし仮に何らかのものは消化し難くないとすれば「捕らえ込まないけど啄む」ということは偽だ
事実9: もしなんらかの物は気兼ねでないとすれば「それは啄まなくてしかも消化し難くない」ということは成り立たない
事実10: 仮に「「送り返すかあるいは気難しいかもしくは両方だ」ということは正しくない」物はあれば「この実務経験要件は気兼ねでない」ということは正しい

仮説: その最高値は弁解がましい
1. 事実5と事実10から、推論1: "「この実務経験要件は気兼ねでない」ということは成り立つ"が導かれる
2. 事実9から、推論2: "「この実務経験要件は気兼ねでない」ということは成り立つとすると「啄まないしそれに消化し難いということはない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この実務経験要件は啄むということはなくてまたそれは消化し難くない」ということは成り立つということはない"が導かれる
4. 推論3と事実7から、仮説が否定される

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