その郷紳はめぼしくない
fact1: もしもなんらかのものが法定監査でないなら授業構成であるしそれに目的論である fact2: 仮にこの画面左下が甚だしならばその郷紳はめぼしくない fact3: この画面左下は法定監査でない fact4: もし仮に「その○○○教会はどでかい」ということは確かなら「この画面左下は甚だし」ということは確かである fact5: その○○○教会はどでかい fact6: もし仮にこの画面左下が目的論だとするとその○○○教会は清し fact7: どでかい物はめぼしくない
fact4 & fact5 -> int1: この画面左下は甚だし; int1 & fact2 -> hypothesis;
この団体等はめぼしくない
fact11 -> int2: もしこの団体等がどでかいとするとそれはめぼしくない; fact8 -> int3: 「この画面左下は法定監査でない」ということは成り立つとしたらそれは授業構成だし更に目的論だ; int3 & fact9 -> int4: この画面左下は授業構成で更に目的論である; int4 -> int5: この画面左下は目的論だ; fact10 & int5 -> int6: 「その○○○教会は清し」ということは本当だ; int6 -> int7: 「清し」ものはある;
$facts$ = fact1: もしもなんらかのものが法定監査でないなら授業構成であるしそれに目的論である fact2: 仮にこの画面左下が甚だしならばその郷紳はめぼしくない fact3: この画面左下は法定監査でない fact4: もし仮に「その○○○教会はどでかい」ということは確かなら「この画面左下は甚だし」ということは確かである fact5: その○○○教会はどでかい fact6: もし仮にこの画面左下が目的論だとするとその○○○教会は清し fact7: どでかい物はめぼしくない ; $hypothesis$ = その郷紳はめぼしくない ; $proof$ = 
fact4 & fact5 -> int1: この画面左下は甚だし; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが法定監査でないなら授業構成であるしそれに目的論である
事実2: 仮にこの画面左下が甚だしならばその郷紳はめぼしくない
事実3: この画面左下は法定監査でない
事実4: もし仮に「その○○○教会はどでかい」ということは確かなら「この画面左下は甚だし」ということは確かである
事実5: その○○○教会はどでかい
事実6: もし仮にこの画面左下が目的論だとするとその○○○教会は清し
事実7: どでかい物はめぼしくない

仮説: その郷紳はめぼしくない
1. 事実4と事実5から、推論1: "この画面左下は甚だし"が導かれる
2. 推論1と事実2から、仮説が導かれる

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