以下のように仮定する。捕らわれ易いということが起こる
fact1: 疑わしということは発生しない fact2: 「捕らわれ易いということかもしくは飛行機らしいということかまたはどちらもが発生する」ということは跳ね上がることを回避する fact3: 飛行機らしいということは跳ね上がることを回避する
void -> assump1: 以下のように仮定する。捕らわれ易いということが起こる; assump1 -> int1: 捕らわれ易いということかあるいは飛行機らしいということかあるいはどちらもが起こる; int1 & fact2 -> int2: 跳ね上がることは起こらない;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C};
$facts$ = fact1: 疑わしということは発生しない fact2: 「捕らわれ易いということかもしくは飛行機らしいということかまたはどちらもが発生する」ということは跳ね上がることを回避する fact3: 飛行機らしいということは跳ね上がることを回避する ; $hypothesis$ = 以下のように仮定する。捕らわれ易いということが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__