「この実施責任者は揮発し易いということはないし著述家達でない」ということは間違っている
fact1: もし仮に「なんらかの物は病むがしかし倒れ難くない」ということは誤っていればそれは揮発し易くない fact2: 「助教授である」ものはある fact3: 倒れ難いものは揮発し易くない fact4: もしなんらかのものは助教授であるとすると「それは揮発し易いということはなくておまけに著述家達であるということはない」ということは間違いだ fact5: 仮になんらかのものは助教授であるならば「「この実施責任者は病むけれど倒れ難くない」ということは確かである」ということは成り立つということはない fact6: もし仮に「この実施責任者は著述家達だしまた論断する」ということは正しくないなら著述家達でない fact7: 著述家達であるし論断するというものはない
fact2 & fact5 -> int1: 「この実施責任者は病むけれど倒れ難くない」ということは成り立たない; fact1 -> int2: もし仮に「この実施責任者は病むけれど倒れ難くない」ということは嘘ならば揮発し易くない; int1 & int2 -> int3: この実施責任者は揮発し易くない; fact7 -> int4: 「この実施責任者は著述家達で更に論断する」ということは嘘だ; fact6 & int4 -> int5: この実施責任者は著述家達でない; int3 & int5 -> hypothesis;
「この実施責任者は揮発し易くないししかも著述家達でない」ということは誤っている
fact8 -> int6: もしこの実施責任者は助教授ならば「それが揮発し易いということはないしさらに著述家達でない」ということは間違っている;
$facts$ = fact1: もし仮に「なんらかの物は病むがしかし倒れ難くない」ということは誤っていればそれは揮発し易くない fact2: 「助教授である」ものはある fact3: 倒れ難いものは揮発し易くない fact4: もしなんらかのものは助教授であるとすると「それは揮発し易いということはなくておまけに著述家達であるということはない」ということは間違いだ fact5: 仮になんらかのものは助教授であるならば「「この実施責任者は病むけれど倒れ難くない」ということは確かである」ということは成り立つということはない fact6: もし仮に「この実施責任者は著述家達だしまた論断する」ということは正しくないなら著述家達でない fact7: 著述家達であるし論断するというものはない ; $hypothesis$ = 「この実施責任者は揮発し易いということはないし著述家達でない」ということは間違っている ; $proof$ = 
fact2 & fact5 -> int1: 「この実施責任者は病むけれど倒れ難くない」ということは成り立たない; fact1 -> int2: もし仮に「この実施責任者は病むけれど倒れ難くない」ということは嘘ならば揮発し易くない; int1 & int2 -> int3: この実施責任者は揮発し易くない; fact7 -> int4: 「この実施責任者は著述家達で更に論断する」ということは嘘だ; fact6 & int4 -> int5: この実施責任者は著述家達でない; int3 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかの物は病むがしかし倒れ難くない」ということは誤っていればそれは揮発し易くない
事実2: 「助教授である」ものはある
事実3: 倒れ難いものは揮発し易くない
事実4: もしなんらかのものは助教授であるとすると「それは揮発し易いということはなくておまけに著述家達であるということはない」ということは間違いだ
事実5: 仮になんらかのものは助教授であるならば「「この実施責任者は病むけれど倒れ難くない」ということは確かである」ということは成り立つということはない
事実6: もし仮に「この実施責任者は著述家達だしまた論断する」ということは正しくないなら著述家達でない
事実7: 著述家達であるし論断するというものはない

仮説: 「この実施責任者は揮発し易いということはないし著述家達でない」ということは間違っている
1. 事実2と事実5から、推論1: "「この実施責任者は病むけれど倒れ難くない」ということは成り立たない"が導かれる
2. 事実1から、推論2: "もし仮に「この実施責任者は病むけれど倒れ難くない」ということは嘘ならば揮発し易くない"が導かれる
3. 推論1と推論2から、推論3: "この実施責任者は揮発し易くない"が導かれる
4. 事実7から、推論4: "「この実施責任者は著述家達で更に論断する」ということは嘘だ"が導かれる
5. 事実6と推論4から、推論5: "この実施責任者は著述家達でない"が導かれる
6. 推論3と推論5から、仮説が否定される

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