その白Ｂは御湿である
fact1: もしもとある物が受け入れ易いということはないかあるいは職域代表であるか両方ならばその白Ｂは御湿だということはない fact2: その業績向上はユーザーインターフェースである fact3: あの企画調整部は受け入れ易くない fact4: もしあの企画調整部は御湿なら「その白Ｂは御湿である」ということは正しい fact5: その白Ｂは四Ｎでない fact6: 「何らかのものは御湿でないが職域代表だ」ということは嘘だとすればそれは御湿だ fact7: 何かは受け入れ易いかまたは職域代表だ fact8: あの企画調整部は受け入れ易いかまたはそれは職域代表であるか両方だ fact9: ユーザーインターフェースは分離し易くないし変哲でない fact10: もしも何かは御湿でないかもしくは職域代表であるか両方ともならばその白Ｂは受け入れ易くない fact11: 「何かは受け入れ易いということはないかまたは御湿であるかどちらもだ」ということは成り立つ fact12: もしもあるものが文明人でないならばそれは受け入れ易くなくて加えてそれは職域代表でない
fact3 -> int1: あの企画調整部は受け入れ易いということはないかもしくは職域代表だ; int1 -> int2: 「なにがしかのものは受け入れ易くないかもしくは職域代表であるかもしくは両方だ」ということは成り立つ; int2 & fact1 -> hypothesis;
fact3 -> int1: (¬{A}{a} v {B}{a}); int1 -> int2: (Ex): (¬{A}x v {B}x); int2 & fact1 -> hypothesis;
その白Ｂは御湿である
fact16 -> int3: もし「あの企画調整部は御湿であるということはないがしかしそれは職域代表だ」ということは成り立たないとすると御湿だ; fact14 -> int4: この春秋時代が文明人でないならそれは受け入れ易いということはないしまた職域代表でない; fact17 -> int5: その業績向上がユーザーインターフェースなら分離し易くないし変哲でない; int5 & fact13 -> int6: その業績向上は分離し易いということはなくて更に変哲でない; int6 -> int7: 「分離し易くないし変哲でない」物はある;
$facts$ = fact1: もしもとある物が受け入れ易いということはないかあるいは職域代表であるか両方ならばその白Ｂは御湿だということはない fact2: その業績向上はユーザーインターフェースである fact3: あの企画調整部は受け入れ易くない fact4: もしあの企画調整部は御湿なら「その白Ｂは御湿である」ということは正しい fact5: その白Ｂは四Ｎでない fact6: 「何らかのものは御湿でないが職域代表だ」ということは嘘だとすればそれは御湿だ fact7: 何かは受け入れ易いかまたは職域代表だ fact8: あの企画調整部は受け入れ易いかまたはそれは職域代表であるか両方だ fact9: ユーザーインターフェースは分離し易くないし変哲でない fact10: もしも何かは御湿でないかもしくは職域代表であるか両方ともならばその白Ｂは受け入れ易くない fact11: 「何かは受け入れ易いということはないかまたは御湿であるかどちらもだ」ということは成り立つ fact12: もしもあるものが文明人でないならばそれは受け入れ易くなくて加えてそれは職域代表でない ; $hypothesis$ = その白Ｂは御湿である ; $proof$ = 
fact3 -> int1: あの企画調整部は受け入れ易いということはないかもしくは職域代表だ; int1 -> int2: 「なにがしかのものは受け入れ易くないかもしくは職域代表であるかもしくは両方だ」ということは成り立つ; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもとある物が受け入れ易いということはないかあるいは職域代表であるか両方ならばその白Ｂは御湿だということはない
事実2: その業績向上はユーザーインターフェースである
事実3: あの企画調整部は受け入れ易くない
事実4: もしあの企画調整部は御湿なら「その白Ｂは御湿である」ということは正しい
事実5: その白Ｂは四Ｎでない
事実6: 「何らかのものは御湿でないが職域代表だ」ということは嘘だとすればそれは御湿だ
事実7: 何かは受け入れ易いかまたは職域代表だ
事実8: あの企画調整部は受け入れ易いかまたはそれは職域代表であるか両方だ
事実9: ユーザーインターフェースは分離し易くないし変哲でない
事実10: もしも何かは御湿でないかもしくは職域代表であるか両方ともならばその白Ｂは受け入れ易くない
事実11: 「何かは受け入れ易いということはないかまたは御湿であるかどちらもだ」ということは成り立つ
事実12: もしもあるものが文明人でないならばそれは受け入れ易くなくて加えてそれは職域代表でない

仮説: その白Ｂは御湿である
1. 事実3から、推論1: "あの企画調整部は受け入れ易いということはないかもしくは職域代表だ"が導かれる
2. 推論1から、推論2: "「なにがしかのものは受け入れ易くないかもしくは職域代表であるかもしくは両方だ」ということは成り立つ"が導かれる
3. 推論2と事実1から、仮説が否定される

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