この修道士は鍵穴でない
fact1: もし仮にその寺院建築が粉篩であるならこの修道士は削り出す fact2: 何らかの物が削り出せばそれは鍵穴でない fact3: もしもとあるものはキープしないしそれにはあはあしないとすればそれは赤い fact4: 「そのエステル結合ははあはあする」ということは真実であるとしたらこの側屈はさっさとする fact5: もしその寺院建築は赤いならば「この側屈は粉篩だ」ということは成り立つ fact6: 仮に「この側屈はキープするということはないし加えてはあはあするということはない」ということは間違っているなら「そのエステル結合はさっさとする」ということは成り立つ fact7: もしも「コピー＆ペーストするということはない」ものがあるならばあのエステル結合はさっさとしない fact8: この雑海草は鍵穴でない fact9: もしもなにがしかのものがさっさとするということはないとしたらそれは鍵穴で加えてそれは赤い fact10: その寺院建築はペトロ達でなくてかつそれは削り出すということはない fact11: なんらかのものは逃れ難いとすれば「粉篩だ」ということは本当だ fact12: もし仮にこの修道士が逃れ難いがしかしそれが粉篩でないとすればさっさとしない fact13: もしもこの側屈がキープしないしそれが逃れ難くないとするとはあはあする fact14: 「コピー＆ペーストしない」物はある fact15: 仮にこの側屈が赤いならばあの寺院建築は逃れ難い
void -> assump1: 以下のように仮定する。「この側屈はキープするということはないし更にはあはあしない」ということは成り立たない; fact6 & assump1 -> int1: そのエステル結合はさっさとする; fact7 & fact14 -> int2: そのエステル結合はさっさとしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この側屈はキープするということはないしはあはあしない; fact3 -> int5: もしもこの側屈はキープしないしはあはあしないなら赤い; int4 & int5 -> int6: 「この側屈は赤い」ということは本当だ; int6 & fact15 -> int7: その寺院建築は逃れ難い; fact11 -> int8: その寺院建築は逃れ難いとすれば「粉篩である」ということは事実である; int7 & int8 -> int9: その寺院建築は粉篩だ; int9 & fact1 -> int10: この修道士は削り出す; fact2 -> int11: 仮にこの修道士が削り出すとしたら鍵穴でない; int10 & int11 -> hypothesis;
この修道士は鍵穴である
fact16 -> int12: もしこの修道士がさっさとしないとしたら鍵穴であるし更に赤い;
$facts$ = fact1: もし仮にその寺院建築が粉篩であるならこの修道士は削り出す fact2: 何らかの物が削り出せばそれは鍵穴でない fact3: もしもとあるものはキープしないしそれにはあはあしないとすればそれは赤い fact4: 「そのエステル結合ははあはあする」ということは真実であるとしたらこの側屈はさっさとする fact5: もしその寺院建築は赤いならば「この側屈は粉篩だ」ということは成り立つ fact6: 仮に「この側屈はキープするということはないし加えてはあはあするということはない」ということは間違っているなら「そのエステル結合はさっさとする」ということは成り立つ fact7: もしも「コピー＆ペーストするということはない」ものがあるならばあのエステル結合はさっさとしない fact8: この雑海草は鍵穴でない fact9: もしもなにがしかのものがさっさとするということはないとしたらそれは鍵穴で加えてそれは赤い fact10: その寺院建築はペトロ達でなくてかつそれは削り出すということはない fact11: なんらかのものは逃れ難いとすれば「粉篩だ」ということは本当だ fact12: もし仮にこの修道士が逃れ難いがしかしそれが粉篩でないとすればさっさとしない fact13: もしもこの側屈がキープしないしそれが逃れ難くないとするとはあはあする fact14: 「コピー＆ペーストしない」物はある fact15: 仮にこの側屈が赤いならばあの寺院建築は逃れ難い ; $hypothesis$ = この修道士は鍵穴でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この側屈はキープするということはないし更にはあはあしない」ということは成り立たない; fact6 & assump1 -> int1: そのエステル結合はさっさとする; fact7 & fact14 -> int2: そのエステル結合はさっさとしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この側屈はキープするということはないしはあはあしない; fact3 -> int5: もしもこの側屈はキープしないしはあはあしないなら赤い; int4 & int5 -> int6: 「この側屈は赤い」ということは本当だ; int6 & fact15 -> int7: その寺院建築は逃れ難い; fact11 -> int8: その寺院建築は逃れ難いとすれば「粉篩である」ということは事実である; int7 & int8 -> int9: その寺院建築は粉篩だ; int9 & fact1 -> int10: この修道士は削り出す; fact2 -> int11: 仮にこの修道士が削り出すとしたら鍵穴でない; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮にその寺院建築が粉篩であるならこの修道士は削り出す
事実2: 何らかの物が削り出せばそれは鍵穴でない
事実3: もしもとあるものはキープしないしそれにはあはあしないとすればそれは赤い
事実4: 「そのエステル結合ははあはあする」ということは真実であるとしたらこの側屈はさっさとする
事実5: もしその寺院建築は赤いならば「この側屈は粉篩だ」ということは成り立つ
事実6: 仮に「この側屈はキープするということはないし加えてはあはあするということはない」ということは間違っているなら「そのエステル結合はさっさとする」ということは成り立つ
事実7: もしも「コピー＆ペーストするということはない」ものがあるならばあのエステル結合はさっさとしない
事実8: この雑海草は鍵穴でない
事実9: もしもなにがしかのものがさっさとするということはないとしたらそれは鍵穴で加えてそれは赤い
事実10: その寺院建築はペトロ達でなくてかつそれは削り出すということはない
事実11: なんらかのものは逃れ難いとすれば「粉篩だ」ということは本当だ
事実12: もし仮にこの修道士が逃れ難いがしかしそれが粉篩でないとすればさっさとしない
事実13: もしもこの側屈がキープしないしそれが逃れ難くないとするとはあはあする
事実14: 「コピー＆ペーストしない」物はある
事実15: 仮にこの側屈が赤いならばあの寺院建築は逃れ難い

仮説: この修道士は鍵穴でない
1. 仮定1: 以下のように仮定する。「この側屈はキープするということはないし更にはあはあしない」ということは成り立たない
2. 事実6と仮定1から、推論1: "そのエステル結合はさっさとする"が導かれる
3. 事実7と事実14から、推論2: "そのエステル結合はさっさとしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この側屈はキープするということはないしはあはあしない"が導かれる
6. 事実3から、推論5: "もしもこの側屈はキープしないしはあはあしないなら赤い"が導かれる
7. 推論4と推論5から、推論6: "「この側屈は赤い」ということは本当だ"が導かれる
8. 推論6と事実15から、推論7: "その寺院建築は逃れ難い"が導かれる
9. 事実11から、推論8: "その寺院建築は逃れ難いとすれば「粉篩である」ということは事実である"が導かれる
10. 推論7と推論8から、推論9: "その寺院建築は粉篩だ"が導かれる
11. 推論9と事実1から、推論10: "この修道士は削り出す"が導かれる
12. 事実2から、推論11: "仮にこの修道士が削り出すとしたら鍵穴でない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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