「このサンルームは利ける」ということは成り立つ
fact1: 「このサンルームは発展し得る」ということは事実だ fact2: 全ては共起する fact3: あの石門が発展し得るとすればこのサンルームは利ける fact4: どれもこれもは公権力である fact5: どれもこれもは存続する fact6: その御坊が存続するならあの石門は発展し得る fact7: もし仮に何かは存続しないなら「それは利けるない」ということは成り立つ
fact5 -> int1: その御坊は存続する; int1 & fact6 -> int2: あの石門は発展し得る; int2 & fact3 -> hypothesis;
fact5 -> int1: {A}{aa}; int1 & fact6 -> int2: {B}{a}; int2 & fact3 -> hypothesis;
「このサンルームは利けるない」ということは正しい
fact8 -> int3: このサンルームが存続しないなら利けるということはない;
$facts$ = fact1: 「このサンルームは発展し得る」ということは事実だ fact2: 全ては共起する fact3: あの石門が発展し得るとすればこのサンルームは利ける fact4: どれもこれもは公権力である fact5: どれもこれもは存続する fact6: その御坊が存続するならあの石門は発展し得る fact7: もし仮に何かは存続しないなら「それは利けるない」ということは成り立つ ; $hypothesis$ = 「このサンルームは利ける」ということは成り立つ ; $proof$ = 
fact5 -> int1: その御坊は存続する; int1 & fact6 -> int2: あの石門は発展し得る; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「このサンルームは発展し得る」ということは事実だ
事実2: 全ては共起する
事実3: あの石門が発展し得るとすればこのサンルームは利ける
事実4: どれもこれもは公権力である
事実5: どれもこれもは存続する
事実6: その御坊が存続するならあの石門は発展し得る
事実7: もし仮に何かは存続しないなら「それは利けるない」ということは成り立つ

仮説: 「このサンルームは利ける」ということは成り立つ
1. 事実5から、推論1: "その御坊は存続する"が導かれる
2. 推論1と事実6から、推論2: "あの石門は発展し得る"が導かれる
3. 推論2と事実3から、仮説が導かれる

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