その社会的成功は聳え立たないしトックでない
fact1: 「あのイミュニティ試験規格は降車しないしおまけに捧ぐということはない」ということは成り立たない fact2: あのイミュニティ試験規格は杓子定規であるしさらに第五十七号証だ fact3: あの海岸地帯は植える fact4: 仮にあのイミュニティ試験規格がトックでないならその社会的成功はトックでない fact5: もしあのイミュニティ試験規格が杓子定規でそれはトックならば「それは捧ぐということはない」ということは事実である fact6: もし「あのイミュニティ試験規格はトックでない」ということは真実であるならその社会的成功は聳え立たないしさらにトックでない fact7: その二百五十六階調は降車するということはない fact8: あのイミュニティ試験規格は子供っぽいということはなくてしかも指先でない fact9: あのイミュニティ試験規格は降車するということはない fact10: あの婦長さんは杓子定規だ
fact2 -> int1: あのイミュニティ試験規格は杓子定規だ; void -> assump1: 以下のように仮定する。あのイミュニティ試験規格はトックである; int1 & assump1 -> int2: あのイミュニティ試験規格は杓子定規でそれにトックだ; int2 & fact5 -> int3: あのイミュニティ試験規格は捧げない; int3 & fact9 -> int4: あのイミュニティ試験規格は降車しないしかつそれは捧ぐということはない; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのイミュニティ試験規格はトックでない; int6 & fact6 -> hypothesis;
あの海岸地帯は植えるししかも捧ぐ
$facts$ = fact1: 「あのイミュニティ試験規格は降車しないしおまけに捧ぐということはない」ということは成り立たない fact2: あのイミュニティ試験規格は杓子定規であるしさらに第五十七号証だ fact3: あの海岸地帯は植える fact4: 仮にあのイミュニティ試験規格がトックでないならその社会的成功はトックでない fact5: もしあのイミュニティ試験規格が杓子定規でそれはトックならば「それは捧ぐということはない」ということは事実である fact6: もし「あのイミュニティ試験規格はトックでない」ということは真実であるならその社会的成功は聳え立たないしさらにトックでない fact7: その二百五十六階調は降車するということはない fact8: あのイミュニティ試験規格は子供っぽいということはなくてしかも指先でない fact9: あのイミュニティ試験規格は降車するということはない fact10: あの婦長さんは杓子定規だ ; $hypothesis$ = その社会的成功は聳え立たないしトックでない ; $proof$ = 
fact2 -> int1: あのイミュニティ試験規格は杓子定規だ; void -> assump1: 以下のように仮定する。あのイミュニティ試験規格はトックである; int1 & assump1 -> int2: あのイミュニティ試験規格は杓子定規でそれにトックだ; int2 & fact5 -> int3: あのイミュニティ試験規格は捧げない; int3 & fact9 -> int4: あのイミュニティ試験規格は降車しないしかつそれは捧ぐということはない; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのイミュニティ試験規格はトックでない; int6 & fact6 -> hypothesis; __PROVED__
事実1: 「あのイミュニティ試験規格は降車しないしおまけに捧ぐということはない」ということは成り立たない
事実2: あのイミュニティ試験規格は杓子定規であるしさらに第五十七号証だ
事実3: あの海岸地帯は植える
事実4: 仮にあのイミュニティ試験規格がトックでないならその社会的成功はトックでない
事実5: もしあのイミュニティ試験規格が杓子定規でそれはトックならば「それは捧ぐということはない」ということは事実である
事実6: もし「あのイミュニティ試験規格はトックでない」ということは真実であるならその社会的成功は聳え立たないしさらにトックでない
事実7: その二百五十六階調は降車するということはない
事実8: あのイミュニティ試験規格は子供っぽいということはなくてしかも指先でない
事実9: あのイミュニティ試験規格は降車するということはない
事実10: あの婦長さんは杓子定規だ

仮説: その社会的成功は聳え立たないしトックでない
1. 事実2から、推論1: "あのイミュニティ試験規格は杓子定規だ"が導かれる
2. 仮定1: 以下のように仮定する。あのイミュニティ試験規格はトックである
3. 推論1と仮定1から、推論2: "あのイミュニティ試験規格は杓子定規でそれにトックだ"が導かれる
4. 推論2と事実5から、推論3: "あのイミュニティ試験規格は捧げない"が導かれる
5. 推論3と事実9から、推論4: "あのイミュニティ試験規格は降車しないしかつそれは捧ぐということはない"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのイミュニティ試験規格はトックでない"が導かれる
8. 推論6と事実6から、仮説が導かれる

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