「「「卑しないか程遠くないかどちらもだ」ということは成り立たない」ものはある」ということは真実でない
fact1: 「黄色っぽい」物はある fact2: 「「赤黒いかもしくは程遠くない」ということは成り立たない」物はある fact3: 「「卑しかもしくは程遠くない」ということは誤っている」物はある fact4: 「「赤黒いかあるいは卑しないか両方だ」ということは誤りな」物はある fact5: 「赤黒い」物はある fact6: この転校生は程遠くない fact7: なにかは卑しないかまたはそれは程遠くないかあるいは両方ともだ fact8: 「自慢する」ものはある fact9: 「程遠い」ものはある fact10: もし仮に「その側仕えは赤黒いということはない」ということは本当だとしたら「この千円単位は卑しないかもしくは程遠くないかもしくは両方ともだ」ということは間違いだ fact11: その側仕えは赤黒くない fact12: その側仕えは程遠くない
fact10 & fact11 -> int1: 「この千円単位は卑しないかもしくは程遠くない」ということは嘘である; int1 -> hypothesis;
fact10 & fact11 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 -> hypothesis;
$facts$ = fact1: 「黄色っぽい」物はある fact2: 「「赤黒いかもしくは程遠くない」ということは成り立たない」物はある fact3: 「「卑しかもしくは程遠くない」ということは誤っている」物はある fact4: 「「赤黒いかあるいは卑しないか両方だ」ということは誤りな」物はある fact5: 「赤黒い」物はある fact6: この転校生は程遠くない fact7: なにかは卑しないかまたはそれは程遠くないかあるいは両方ともだ fact8: 「自慢する」ものはある fact9: 「程遠い」ものはある fact10: もし仮に「その側仕えは赤黒いということはない」ということは本当だとしたら「この千円単位は卑しないかもしくは程遠くないかもしくは両方ともだ」ということは間違いだ fact11: その側仕えは赤黒くない fact12: その側仕えは程遠くない ; $hypothesis$ = 「「「卑しないか程遠くないかどちらもだ」ということは成り立たない」ものはある」ということは真実でない ; $proof$ = 
fact10 & fact11 -> int1: 「この千円単位は卑しないかもしくは程遠くない」ということは嘘である; int1 -> hypothesis; __DISPROVED__
事実1: 「黄色っぽい」物はある
事実2: 「「赤黒いかもしくは程遠くない」ということは成り立たない」物はある
事実3: 「「卑しかもしくは程遠くない」ということは誤っている」物はある
事実4: 「「赤黒いかあるいは卑しないか両方だ」ということは誤りな」物はある
事実5: 「赤黒い」物はある
事実6: この転校生は程遠くない
事実7: なにかは卑しないかまたはそれは程遠くないかあるいは両方ともだ
事実8: 「自慢する」ものはある
事実9: 「程遠い」ものはある
事実10: もし仮に「その側仕えは赤黒いということはない」ということは本当だとしたら「この千円単位は卑しないかもしくは程遠くないかもしくは両方ともだ」ということは間違いだ
事実11: その側仕えは赤黒くない
事実12: その側仕えは程遠くない

仮説: 「「「卑しないか程遠くないかどちらもだ」ということは成り立たない」ものはある」ということは真実でない
1. 事実10と事実11から、推論1: "「この千円単位は卑しないかもしくは程遠くない」ということは嘘である"が導かれる
2. 推論1から、仮説が否定される

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