あの意志決定機関は下り続けない
fact1: あの意志決定機関は兵事でかつ御宜しい fact2: あの意志決定機関は拝礼するかあるいは分割契約書であるかあるいはどちらもだ fact3: もしもあの意志決定機関が拝礼しないかまたはそれは分割契約書であるかあるいはどちらもであるとするとそれは下り続けるということはない fact4: もし仮にあの意志決定機関が御宜しいとすると拝礼するかまたは分割契約書だ fact5: あの意志決定機関は兵事である fact6: もし仮にあの意志決定機関が御宜しいとしたらそれは拝礼するということはないかもしくは分割契約書であるかもしくは両方ともである
fact1 -> int1: あの意志決定機関は御宜しい; int1 & fact6 -> int2: あの意志決定機関は拝礼しないかまたは分割契約書だ; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact6 -> int2: (¬{C}{a} v {D}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: あの意志決定機関は兵事でかつ御宜しい fact2: あの意志決定機関は拝礼するかあるいは分割契約書であるかあるいはどちらもだ fact3: もしもあの意志決定機関が拝礼しないかまたはそれは分割契約書であるかあるいはどちらもであるとするとそれは下り続けるということはない fact4: もし仮にあの意志決定機関が御宜しいとすると拝礼するかまたは分割契約書だ fact5: あの意志決定機関は兵事である fact6: もし仮にあの意志決定機関が御宜しいとしたらそれは拝礼するということはないかもしくは分割契約書であるかもしくは両方ともである ; $hypothesis$ = あの意志決定機関は下り続けない ; $proof$ = 
fact1 -> int1: あの意志決定機関は御宜しい; int1 & fact6 -> int2: あの意志決定機関は拝礼しないかまたは分割契約書だ; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの意志決定機関は兵事でかつ御宜しい
事実2: あの意志決定機関は拝礼するかあるいは分割契約書であるかあるいはどちらもだ
事実3: もしもあの意志決定機関が拝礼しないかまたはそれは分割契約書であるかあるいはどちらもであるとするとそれは下り続けるということはない
事実4: もし仮にあの意志決定機関が御宜しいとすると拝礼するかまたは分割契約書だ
事実5: あの意志決定機関は兵事である
事実6: もし仮にあの意志決定機関が御宜しいとしたらそれは拝礼するということはないかもしくは分割契約書であるかもしくは両方ともである

仮説: あの意志決定機関は下り続けない
1. 事実1から、推論1: "あの意志決定機関は御宜しい"が導かれる
2. 推論1と事実6から、推論2: "あの意志決定機関は拝礼しないかまたは分割契約書だ"が導かれる
3. 推論2と事実3から、仮説が導かれる

よって、仮説が証明されました。