「仮に粗いし如何にすれば陽明経でない」ものはある
fact1: もしあの新年度予算が如何にするとしたら陽明経でない
void -> assump1: 以下のように仮定する。あの新年度予算は粗くて如何にする; assump1 -> int1: あの新年度予算は如何にする; int1 & fact1 -> int2: あの新年度予算は陽明経でない; [assump1] & int2 -> int3: 仮にあの新年度予算は粗くてまた如何にすれば陽明経でない; int3 -> hypothesis;
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact1 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: ({A}{a} & {B}{a}) -> ¬{C}{a}; int3 -> hypothesis;
$facts$ = fact1: もしあの新年度予算が如何にするとしたら陽明経でない ; $hypothesis$ = 「仮に粗いし如何にすれば陽明経でない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの新年度予算は粗くて如何にする; assump1 -> int1: あの新年度予算は如何にする; int1 & fact1 -> int2: あの新年度予算は陽明経でない; [assump1] & int2 -> int3: 仮にあの新年度予算は粗くてまた如何にすれば陽明経でない; int3 -> hypothesis; __PROVED__
事実1: もしあの新年度予算が如何にするとしたら陽明経でない

仮説: 「仮に粗いし如何にすれば陽明経でない」ものはある
1. 仮定1: 以下のように仮定する。あの新年度予算は粗くて如何にする
2. 仮定1から、推論1: "あの新年度予算は如何にする"が導かれる
3. 推論1と事実1から、推論2: "あの新年度予算は陽明経でない"が導かれる
4. [仮定1]と推論2から、推論3: "仮にあの新年度予算は粗くてまた如何にすれば陽明経でない"が導かれる
5. 推論3から、仮説が導かれる

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