「その原色は特殊能力無しでないしおまけに余白部分でない」ということは成り立つということはない
fact1: あるものは取得し易いということはないなら「それは第二説でしかも尼僧である」ということは事実と異なる fact2: 仮に何らかの物は絶え難くないならば「特殊能力無しでないし余白部分だということはない」ということは間違っている fact3: その原色は特殊能力無しでない fact4: あの三箇月分は自動車でなくて更に辛気臭いということはない fact5: 「もし「なにがしかの物は第二説であるしかつ尼僧である」ということは成り立つということはないとすればそれは絶え難くない」ということは成り立つ fact6: その原色は特殊能力無しでないしさらに余白部分でない
fact6 -> hypothesis;
fact6 -> hypothesis;
「その原色が特殊能力無しだということはないしさらに余白部分でない」ということは誤りである
fact7 -> int1: もしその原色は絶え難くないとすると「特殊能力無しであるということはないし余白部分だということはない」ということは誤っている; fact9 -> int2: もし仮に「その原色は第二説でおまけに尼僧だ」ということは嘘であるならそれは絶え難くない; fact8 -> int3: その原色は取得し易くないとすれば「それは第二説だし尼僧だ」ということは間違いである;
$facts$ = fact1: あるものは取得し易いということはないなら「それは第二説でしかも尼僧である」ということは事実と異なる fact2: 仮に何らかの物は絶え難くないならば「特殊能力無しでないし余白部分だということはない」ということは間違っている fact3: その原色は特殊能力無しでない fact4: あの三箇月分は自動車でなくて更に辛気臭いということはない fact5: 「もし「なにがしかの物は第二説であるしかつ尼僧である」ということは成り立つということはないとすればそれは絶え難くない」ということは成り立つ fact6: その原色は特殊能力無しでないしさらに余白部分でない ; $hypothesis$ = 「その原色は特殊能力無しでないしおまけに余白部分でない」ということは成り立つということはない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: あるものは取得し易いということはないなら「それは第二説でしかも尼僧である」ということは事実と異なる
事実2: 仮に何らかの物は絶え難くないならば「特殊能力無しでないし余白部分だということはない」ということは間違っている
事実3: その原色は特殊能力無しでない
事実4: あの三箇月分は自動車でなくて更に辛気臭いということはない
事実5: 「もし「なにがしかの物は第二説であるしかつ尼僧である」ということは成り立つということはないとすればそれは絶え難くない」ということは成り立つ
事実6: その原色は特殊能力無しでないしさらに余白部分でない

仮説: 「その原色は特殊能力無しでないしおまけに余白部分でない」ということは成り立つということはない
1. 事実6から、仮説が否定される

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