「リダイレクトすることは生じないけれど邪魔臭いということが起こる」ということは偽である
fact1: 落ち着き為さることは発生しない fact2: 引き易いということが発生する fact3: 詮無いということが生じる fact4: 主導することが起きる fact5: 調和し難いということは起こらない fact6: 白っぽいということおよび主導することが発生するは引き易いということは起きないということは契機だ fact7: 主導することと引き易いということが発生するはリダイレクトすることを回避する
fact4 & fact2 -> int1: 主導することと引き易いということが発生する; int1 & fact7 -> int2: リダイレクトすることは生じない;
fact4 & fact2 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C};
白っぽいということが起こる
$facts$ = fact1: 落ち着き為さることは発生しない fact2: 引き易いということが発生する fact3: 詮無いということが生じる fact4: 主導することが起きる fact5: 調和し難いということは起こらない fact6: 白っぽいということおよび主導することが発生するは引き易いということは起きないということは契機だ fact7: 主導することと引き易いということが発生するはリダイレクトすることを回避する ; $hypothesis$ = 「リダイレクトすることは生じないけれど邪魔臭いということが起こる」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__