その営林署員は流水下でない
fact1: その営林署員は非決定性オートマトンである fact2: この移相変化は二十歳近くだ fact3: もし仮になんらかの物が捕らわれるししかも割り算するとすればそれは流水下であるということはない fact4: 「その営林署員は二十歳近くであるしかつ捕らわれる」ということは事実だとしたらそれは流水下だということはない fact5: もしもなにかは割り算するししかも二十歳近くであるならばそれは捕らわれない fact6: この食品用途は悪者扱いするかもしくはそれは鑑賞し易いかまたは両方だ fact7: もしこの移相変化が非決定性オートマトンだとするとその営林署員は流水下だ fact8: もし仮にこの移相変化が二十歳近くだとするとその営林署員は割り算する fact9: 仮にその営林署員は非決定性オートマトンであるならば「それは捕らわれる」ということは事実である
fact9 & fact1 -> int1: その営林署員は捕らわれる; fact2 & fact8 -> int2: 「その営林署員は割り算する」ということは誤りでない; int1 & int2 -> int3: その営林署員は捕らわれるし割り算する; fact3 -> int4: 「「その営林署員は捕らわれるししかもそれは割り算する」ということは事実であるとすればその営林署員は流水下でない」ということは本当である; int3 & int4 -> hypothesis;
fact9 & fact1 -> int1: {B}{a}; fact2 & fact8 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact3 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
その営林署員は流水下である
$facts$ = fact1: その営林署員は非決定性オートマトンである fact2: この移相変化は二十歳近くだ fact3: もし仮になんらかの物が捕らわれるししかも割り算するとすればそれは流水下であるということはない fact4: 「その営林署員は二十歳近くであるしかつ捕らわれる」ということは事実だとしたらそれは流水下だということはない fact5: もしもなにかは割り算するししかも二十歳近くであるならばそれは捕らわれない fact6: この食品用途は悪者扱いするかもしくはそれは鑑賞し易いかまたは両方だ fact7: もしこの移相変化が非決定性オートマトンだとするとその営林署員は流水下だ fact8: もし仮にこの移相変化が二十歳近くだとするとその営林署員は割り算する fact9: 仮にその営林署員は非決定性オートマトンであるならば「それは捕らわれる」ということは事実である ; $hypothesis$ = その営林署員は流水下でない ; $proof$ = 
fact9 & fact1 -> int1: その営林署員は捕らわれる; fact2 & fact8 -> int2: 「その営林署員は割り算する」ということは誤りでない; int1 & int2 -> int3: その営林署員は捕らわれるし割り算する; fact3 -> int4: 「「その営林署員は捕らわれるししかもそれは割り算する」ということは事実であるとすればその営林署員は流水下でない」ということは本当である; int3 & int4 -> hypothesis; __PROVED__
事実1: その営林署員は非決定性オートマトンである
事実2: この移相変化は二十歳近くだ
事実3: もし仮になんらかの物が捕らわれるししかも割り算するとすればそれは流水下であるということはない
事実4: 「その営林署員は二十歳近くであるしかつ捕らわれる」ということは事実だとしたらそれは流水下だということはない
事実5: もしもなにかは割り算するししかも二十歳近くであるならばそれは捕らわれない
事実6: この食品用途は悪者扱いするかもしくはそれは鑑賞し易いかまたは両方だ
事実7: もしこの移相変化が非決定性オートマトンだとするとその営林署員は流水下だ
事実8: もし仮にこの移相変化が二十歳近くだとするとその営林署員は割り算する
事実9: 仮にその営林署員は非決定性オートマトンであるならば「それは捕らわれる」ということは事実である

仮説: その営林署員は流水下でない
1. 事実9と事実1から、推論1: "その営林署員は捕らわれる"が導かれる
2. 事実2と事実8から、推論2: "「その営林署員は割り算する」ということは誤りでない"が導かれる
3. 推論1と推論2から、推論3: "その営林署員は捕らわれるし割り算する"が導かれる
4. 事実3から、推論4: "「「その営林署員は捕らわれるししかもそれは割り算する」ということは事実であるとすればその営林署員は流水下でない」ということは本当である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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