その外相はアシケナージ系である
fact1: 仮にその外相が座すとしたらそれは松代藩庁文書である fact2: 「あの上松宿は拭い難くないけど息詰まる」ということは真実でないとするとそれは話し出すということはない fact3: もしある物が松代藩庁文書なら選択し直す fact4: その外相は予測し易いかあるいはそれは座すかもしくは両方ともである fact5: もし「何らかのものは予測し易いということはないけど得度だ」ということは成り立たないとすればそれは選択し直さない fact6: 仮にその外相が予測し易いならばそれは松代藩庁文書だ fact7: 「あの上松宿は拭い難いということはないがしかし息詰まる」ということは間違っている fact8: もしとある物が選択し直すとするとアシケナージ系である fact9: もしもとあるものは話し出さないなら「予測し易くないし得度である」ということは嘘である fact10: もし何らかの物は選択し直さないとすればそれは松代藩庁文書でないかもしくはアシケナージ系でないか両方である
fact3 -> int1: もしその外相は松代藩庁文書であるならば選択し直す; fact1 & fact6 & fact4 -> int2: その外相は松代藩庁文書である; int1 & int2 -> int3: その外相は選択し直す; fact8 -> int4: その外相が選択し直すとするとアシケナージ系だ; int3 & int4 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; fact1 & fact6 & fact4 -> int2: {A}{aa}; int1 & int2 -> int3: {C}{aa}; fact8 -> int4: {C}{aa} -> {B}{aa}; int3 & int4 -> hypothesis;
あの上松宿は座す
fact12 -> int5: あの上松宿は選択し直さないなら「それは松代藩庁文書でないかまたはそれはアシケナージ系でないかもしくは両方だ」ということは確かだ; fact14 -> int6: 「あの上松宿は予測し易くないけど得度である」ということは誤っているとしたら選択し直さない; fact15 -> int7: もしあの上松宿は話し出さないとしたら「予測し易くないし得度だ」ということは真実でない; fact13 & fact11 -> int8: あの上松宿は話し出さない; int7 & int8 -> int9: 「あの上松宿は予測し易くないが得度である」ということは成り立たない; int6 & int9 -> int10: あの上松宿は選択し直さない; int5 & int10 -> int11: あの上松宿は松代藩庁文書でないかもしくはアシケナージ系でないかまたは両方ともである;
$facts$ = fact1: 仮にその外相が座すとしたらそれは松代藩庁文書である fact2: 「あの上松宿は拭い難くないけど息詰まる」ということは真実でないとするとそれは話し出すということはない fact3: もしある物が松代藩庁文書なら選択し直す fact4: その外相は予測し易いかあるいはそれは座すかもしくは両方ともである fact5: もし「何らかのものは予測し易いということはないけど得度だ」ということは成り立たないとすればそれは選択し直さない fact6: 仮にその外相が予測し易いならばそれは松代藩庁文書だ fact7: 「あの上松宿は拭い難いということはないがしかし息詰まる」ということは間違っている fact8: もしとある物が選択し直すとするとアシケナージ系である fact9: もしもとあるものは話し出さないなら「予測し易くないし得度である」ということは嘘である fact10: もし何らかの物は選択し直さないとすればそれは松代藩庁文書でないかもしくはアシケナージ系でないか両方である ; $hypothesis$ = その外相はアシケナージ系である ; $proof$ = 
fact3 -> int1: もしその外相は松代藩庁文書であるならば選択し直す; fact1 & fact6 & fact4 -> int2: その外相は松代藩庁文書である; int1 & int2 -> int3: その外相は選択し直す; fact8 -> int4: その外相が選択し直すとするとアシケナージ系だ; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にその外相が座すとしたらそれは松代藩庁文書である
事実2: 「あの上松宿は拭い難くないけど息詰まる」ということは真実でないとするとそれは話し出すということはない
事実3: もしある物が松代藩庁文書なら選択し直す
事実4: その外相は予測し易いかあるいはそれは座すかもしくは両方ともである
事実5: もし「何らかのものは予測し易いということはないけど得度だ」ということは成り立たないとすればそれは選択し直さない
事実6: 仮にその外相が予測し易いならばそれは松代藩庁文書だ
事実7: 「あの上松宿は拭い難いということはないがしかし息詰まる」ということは間違っている
事実8: もしとある物が選択し直すとするとアシケナージ系である
事実9: もしもとあるものは話し出さないなら「予測し易くないし得度である」ということは嘘である
事実10: もし何らかの物は選択し直さないとすればそれは松代藩庁文書でないかもしくはアシケナージ系でないか両方である

仮説: その外相はアシケナージ系である
1. 事実3から、推論1: "もしその外相は松代藩庁文書であるならば選択し直す"が導かれる
2. 事実1と事実6と事実4から、推論2: "その外相は松代藩庁文書である"が導かれる
3. 推論1と推論2から、推論3: "その外相は選択し直す"が導かれる
4. 事実8から、推論4: "その外相が選択し直すとするとアシケナージ系だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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