あのＲ教会は御恥ずかしくない
fact1: 「あの北イタリア両替商は軍議であるけどそれは小気味良くない」ということは成り立たない fact2: 仮にあの北イタリア両替商が小気味良いならばあのＲ教会は険しかない fact3: なんらかの物が焼損するということはないとすると険しいということはないし小気味良くない fact4: 「なにがしかの物は焼損しない」ということは確かであるなら軍議であるしそれは小気味良い fact5: あのＲ教会は小気味良い fact6: 「あの北イタリア両替商は軍議だけれど小気味良くない」ということは偽だとすると「あのＲ教会は険しかない」ということは事実だ fact7: あのＲ教会は秘蔵でない fact8: 「「あの北イタリア両替商は軍議であるし小気味良い」ということは偽だ」ということは成り立つ fact9: もし「あのＲ教会は御恥ずかしくなくて秘蔵だということはない」ということは事実でないならば険しい fact10: あのＲ教会は秘蔵であるとするとそれは険しい fact11: 「あのＲ教会は御恥ずかしくないけれど秘蔵である」ということは誤りである fact12: 軍議は安っぽくないしさらに険しかない
void -> assump1: 以下のように仮定する。「あのＲ教会は御恥ずかしくなくて秘蔵でない」ということは成り立つということはない; fact9 & assump1 -> int1: あのＲ教会は険しい; fact1 & fact6 -> int2: あのＲ教会は険しかない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＲ教会は御恥ずかしいということはないしさらに秘蔵であるということはない; int4 -> hypothesis;
あのＲ教会は御恥ずかしい
fact13 -> int5: 仮にあの北イタリア両替商が焼損するということはないなら険しかなくてかつ小気味良くない;
$facts$ = fact1: 「あの北イタリア両替商は軍議であるけどそれは小気味良くない」ということは成り立たない fact2: 仮にあの北イタリア両替商が小気味良いならばあのＲ教会は険しかない fact3: なんらかの物が焼損するということはないとすると険しいということはないし小気味良くない fact4: 「なにがしかの物は焼損しない」ということは確かであるなら軍議であるしそれは小気味良い fact5: あのＲ教会は小気味良い fact6: 「あの北イタリア両替商は軍議だけれど小気味良くない」ということは偽だとすると「あのＲ教会は険しかない」ということは事実だ fact7: あのＲ教会は秘蔵でない fact8: 「「あの北イタリア両替商は軍議であるし小気味良い」ということは偽だ」ということは成り立つ fact9: もし「あのＲ教会は御恥ずかしくなくて秘蔵だということはない」ということは事実でないならば険しい fact10: あのＲ教会は秘蔵であるとするとそれは険しい fact11: 「あのＲ教会は御恥ずかしくないけれど秘蔵である」ということは誤りである fact12: 軍議は安っぽくないしさらに険しかない ; $hypothesis$ = あのＲ教会は御恥ずかしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのＲ教会は御恥ずかしくなくて秘蔵でない」ということは成り立つということはない; fact9 & assump1 -> int1: あのＲ教会は険しい; fact1 & fact6 -> int2: あのＲ教会は険しかない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＲ教会は御恥ずかしいということはないしさらに秘蔵であるということはない; int4 -> hypothesis; __PROVED__
事実1: 「あの北イタリア両替商は軍議であるけどそれは小気味良くない」ということは成り立たない
事実2: 仮にあの北イタリア両替商が小気味良いならばあのＲ教会は険しかない
事実3: なんらかの物が焼損するということはないとすると険しいということはないし小気味良くない
事実4: 「なにがしかの物は焼損しない」ということは確かであるなら軍議であるしそれは小気味良い
事実5: あのＲ教会は小気味良い
事実6: 「あの北イタリア両替商は軍議だけれど小気味良くない」ということは偽だとすると「あのＲ教会は険しかない」ということは事実だ
事実7: あのＲ教会は秘蔵でない
事実8: 「「あの北イタリア両替商は軍議であるし小気味良い」ということは偽だ」ということは成り立つ
事実9: もし「あのＲ教会は御恥ずかしくなくて秘蔵だということはない」ということは事実でないならば険しい
事実10: あのＲ教会は秘蔵であるとするとそれは険しい
事実11: 「あのＲ教会は御恥ずかしくないけれど秘蔵である」ということは誤りである
事実12: 軍議は安っぽくないしさらに険しかない

仮説: あのＲ教会は御恥ずかしくない
1. 仮定1: 以下のように仮定する。「あのＲ教会は御恥ずかしくなくて秘蔵でない」ということは成り立つということはない
2. 事実9と仮定1から、推論1: "あのＲ教会は険しい"が導かれる
3. 事実1と事実6から、推論2: "あのＲ教会は険しかない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのＲ教会は御恥ずかしいということはないしさらに秘蔵であるということはない"が導かれる
6. 推論4から、仮説が導かれる

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