「あの修道院は見窄らしくない」ということは成り立つ
fact1: この写字生Ａが見窄らしくないならばあの修道院は新聞代である fact2: あのＬＣＰはフランス人らしい fact3: 仮にあの修道院がフランス人らしいとすればそれは新聞代だ fact4: もしこの写字生Ａが新聞代でないとすればあの修道院はフランス人らしくない fact5: あの修道院は異母妹だということはない fact6: この写字生Ａは達成し易くないかまたは新聞代でないかあるいはどちらもだ fact7: あの供応は見窄らしい fact8: あの修道院は新聞代であるとすればそれは見窄らしい fact9: 仮にあの修道院は見窄らしいとしたら「フランス人らしい」ということは成り立つ fact10: もしこの写字生Ａがフランス人らしいということはないならあの修道院は新聞代でない fact11: あの増長は新聞代でない fact12: あの修道院は達成し易い fact13: あの修道院は新聞代でないとすれば「この写字生Ａはフランス人らしい」ということは誤っていない fact14: あの教会員は新聞代だ fact15: この写字生Ａが達成し易いということはないとしたらあの修道院はフランス人らしくない fact16: この写字生Ａが見窄らしいならば達成し易い
void -> assump1: 以下のように仮定する。あの修道院は見窄らしい; fact9 & assump1 -> int1: あの修道院はフランス人らしい; fact15 & fact6 & fact4 -> int2: あの修道院はフランス人らしくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この写字生Ａが見窄らしくないならばあの修道院は新聞代である fact2: あのＬＣＰはフランス人らしい fact3: 仮にあの修道院がフランス人らしいとすればそれは新聞代だ fact4: もしこの写字生Ａが新聞代でないとすればあの修道院はフランス人らしくない fact5: あの修道院は異母妹だということはない fact6: この写字生Ａは達成し易くないかまたは新聞代でないかあるいはどちらもだ fact7: あの供応は見窄らしい fact8: あの修道院は新聞代であるとすればそれは見窄らしい fact9: 仮にあの修道院は見窄らしいとしたら「フランス人らしい」ということは成り立つ fact10: もしこの写字生Ａがフランス人らしいということはないならあの修道院は新聞代でない fact11: あの増長は新聞代でない fact12: あの修道院は達成し易い fact13: あの修道院は新聞代でないとすれば「この写字生Ａはフランス人らしい」ということは誤っていない fact14: あの教会員は新聞代だ fact15: この写字生Ａが達成し易いということはないとしたらあの修道院はフランス人らしくない fact16: この写字生Ａが見窄らしいならば達成し易い ; $hypothesis$ = 「あの修道院は見窄らしくない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの修道院は見窄らしい; fact9 & assump1 -> int1: あの修道院はフランス人らしい; fact15 & fact6 & fact4 -> int2: あの修道院はフランス人らしくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この写字生Ａが見窄らしくないならばあの修道院は新聞代である
事実2: あのＬＣＰはフランス人らしい
事実3: 仮にあの修道院がフランス人らしいとすればそれは新聞代だ
事実4: もしこの写字生Ａが新聞代でないとすればあの修道院はフランス人らしくない
事実5: あの修道院は異母妹だということはない
事実6: この写字生Ａは達成し易くないかまたは新聞代でないかあるいはどちらもだ
事実7: あの供応は見窄らしい
事実8: あの修道院は新聞代であるとすればそれは見窄らしい
事実9: 仮にあの修道院は見窄らしいとしたら「フランス人らしい」ということは成り立つ
事実10: もしこの写字生Ａがフランス人らしいということはないならあの修道院は新聞代でない
事実11: あの増長は新聞代でない
事実12: あの修道院は達成し易い
事実13: あの修道院は新聞代でないとすれば「この写字生Ａはフランス人らしい」ということは誤っていない
事実14: あの教会員は新聞代だ
事実15: この写字生Ａが達成し易いということはないとしたらあの修道院はフランス人らしくない
事実16: この写字生Ａが見窄らしいならば達成し易い

仮説: 「あの修道院は見窄らしくない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あの修道院は見窄らしい
2. 事実9と仮定1から、推論1: "あの修道院はフランス人らしい"が導かれる
3. 事実15と事実6と事実4から、推論2: "あの修道院はフランス人らしくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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