もしもあの品行が寝苦しいならばこの寺は予想し得ない
fact1: もし仮にこの寺は予想し得るとすると「このこないだは御出迎えるしかつ床しい」ということは偽である fact2: 「御出迎えるし床しかない」物はある fact3: 仮に「「御出迎えるけれど床しかない」ということは偽である」ものはあるなら「あの品行は寝苦しくない」ということは正しい fact4: 「「御出迎えるが床しいということはない」ということは事実でない」ものがあるならあの品行は寝苦しい fact5: 仮にこの寺は予想し得るとしたら「このこないだは御出迎えるけど床しかない」ということは成り立たない fact6: この寺は寝苦しくない fact7: 「「御出迎えるし床しい」ということは事実と異なる」物はある
void -> assump2: 以下のように仮定する。この寺は予想し得る; fact5 & assump2 -> int1: 「このこないだは御出迎えるけどそれは床しかない」ということは成り立たない; int1 -> int2: 「「御出迎えるししかも床しかない」ということは誤りである」ものはある; int2 & fact3 -> int3: あの品行は寝苦しくない; void -> assump1: 以下のように仮定する。あの品行は寝苦しい; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この寺は予想し得ない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にこの寺は予想し得るとすると「このこないだは御出迎えるしかつ床しい」ということは偽である fact2: 「御出迎えるし床しかない」物はある fact3: 仮に「「御出迎えるけれど床しかない」ということは偽である」ものはあるなら「あの品行は寝苦しくない」ということは正しい fact4: 「「御出迎えるが床しいということはない」ということは事実でない」ものがあるならあの品行は寝苦しい fact5: 仮にこの寺は予想し得るとしたら「このこないだは御出迎えるけど床しかない」ということは成り立たない fact6: この寺は寝苦しくない fact7: 「「御出迎えるし床しい」ということは事実と異なる」物はある ; $hypothesis$ = もしもあの品行が寝苦しいならばこの寺は予想し得ない ; $proof$ = 
void -> assump2: 以下のように仮定する。この寺は予想し得る; fact5 & assump2 -> int1: 「このこないだは御出迎えるけどそれは床しかない」ということは成り立たない; int1 -> int2: 「「御出迎えるししかも床しかない」ということは誤りである」ものはある; int2 & fact3 -> int3: あの品行は寝苦しくない; void -> assump1: 以下のように仮定する。あの品行は寝苦しい; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この寺は予想し得ない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にこの寺は予想し得るとすると「このこないだは御出迎えるしかつ床しい」ということは偽である
事実2: 「御出迎えるし床しかない」物はある
事実3: 仮に「「御出迎えるけれど床しかない」ということは偽である」ものはあるなら「あの品行は寝苦しくない」ということは正しい
事実4: 「「御出迎えるが床しいということはない」ということは事実でない」ものがあるならあの品行は寝苦しい
事実5: 仮にこの寺は予想し得るとしたら「このこないだは御出迎えるけど床しかない」ということは成り立たない
事実6: この寺は寝苦しくない
事実7: 「「御出迎えるし床しい」ということは事実と異なる」物はある

仮説: もしもあの品行が寝苦しいならばこの寺は予想し得ない
1. 仮定2: 以下のように仮定する。この寺は予想し得る
2. 事実5と仮定2から、推論1: "「このこないだは御出迎えるけどそれは床しかない」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「御出迎えるししかも床しかない」ということは誤りである」ものはある"が導かれる
4. 推論2と事実3から、推論3: "あの品行は寝苦しくない"が導かれる
5. 仮定1: 以下のように仮定する。あの品行は寝苦しい
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "この寺は予想し得ない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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