その構成は変化し続けない
fact1: もしもあの地口は違反者講習でないし加えて腑甲斐無くないとすればそれは御活躍する fact2: 「あの沈は御待ちする一方で敵視しない」ということは成り立つということはない fact3: もし仮にその構成は変化し続けるとすると「あの沈は御待ちしないしおまけに敵視しない」ということは間違いである fact4: あの地口は御活躍しない fact5: 「あの沈は御待ちするということはなくておまけにそれは敵視するということはない」ということは成り立たないとすると消去する fact6: あの沈が消去するとするとあの地口は違反者講習でないしおまけに腑甲斐無くない fact7: もし「あの沈は腑甲斐無い」ということは成り立つとすると「あの地口は御待ちしないけど敵視する」ということは本当でない fact8: あのラビ達は御活躍しない fact9: あの沈は腑甲斐無くない fact10: 仮に「あの沈は変化し続けないかまたはそれは腑甲斐無いかあるいは両方ともだ」ということは成り立たないとするとその構成は腑甲斐無い
void -> assump1: 以下のように仮定する。その構成は変化し続ける; fact3 & assump1 -> int1: 「「あの沈は御待ちしなくて敵視しない」ということは誤りである」ということは間違いだということはない; int1 & fact5 -> int2: あの沈は消去する; int2 & fact6 -> int3: あの地口は違反者講習でなくてそれに腑甲斐無いということはない; int3 & fact1 -> int4: あの地口は御活躍する; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その構成は腑甲斐無い
$facts$ = fact1: もしもあの地口は違反者講習でないし加えて腑甲斐無くないとすればそれは御活躍する fact2: 「あの沈は御待ちする一方で敵視しない」ということは成り立つということはない fact3: もし仮にその構成は変化し続けるとすると「あの沈は御待ちしないしおまけに敵視しない」ということは間違いである fact4: あの地口は御活躍しない fact5: 「あの沈は御待ちするということはなくておまけにそれは敵視するということはない」ということは成り立たないとすると消去する fact6: あの沈が消去するとするとあの地口は違反者講習でないしおまけに腑甲斐無くない fact7: もし「あの沈は腑甲斐無い」ということは成り立つとすると「あの地口は御待ちしないけど敵視する」ということは本当でない fact8: あのラビ達は御活躍しない fact9: あの沈は腑甲斐無くない fact10: 仮に「あの沈は変化し続けないかまたはそれは腑甲斐無いかあるいは両方ともだ」ということは成り立たないとするとその構成は腑甲斐無い ; $hypothesis$ = その構成は変化し続けない ; $proof$ = 
void -> assump1: 以下のように仮定する。その構成は変化し続ける; fact3 & assump1 -> int1: 「「あの沈は御待ちしなくて敵視しない」ということは誤りである」ということは間違いだということはない; int1 & fact5 -> int2: あの沈は消去する; int2 & fact6 -> int3: あの地口は違反者講習でなくてそれに腑甲斐無いということはない; int3 & fact1 -> int4: あの地口は御活躍する; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもあの地口は違反者講習でないし加えて腑甲斐無くないとすればそれは御活躍する
事実2: 「あの沈は御待ちする一方で敵視しない」ということは成り立つということはない
事実3: もし仮にその構成は変化し続けるとすると「あの沈は御待ちしないしおまけに敵視しない」ということは間違いである
事実4: あの地口は御活躍しない
事実5: 「あの沈は御待ちするということはなくておまけにそれは敵視するということはない」ということは成り立たないとすると消去する
事実6: あの沈が消去するとするとあの地口は違反者講習でないしおまけに腑甲斐無くない
事実7: もし「あの沈は腑甲斐無い」ということは成り立つとすると「あの地口は御待ちしないけど敵視する」ということは本当でない
事実8: あのラビ達は御活躍しない
事実9: あの沈は腑甲斐無くない
事実10: 仮に「あの沈は変化し続けないかまたはそれは腑甲斐無いかあるいは両方ともだ」ということは成り立たないとするとその構成は腑甲斐無い

仮説: その構成は変化し続けない
1. 仮定1: 以下のように仮定する。その構成は変化し続ける
2. 事実3と仮定1から、推論1: "「「あの沈は御待ちしなくて敵視しない」ということは誤りである」ということは間違いだということはない"が導かれる
3. 推論1と事実5から、推論2: "あの沈は消去する"が導かれる
4. 推論2と事実6から、推論3: "あの地口は違反者講習でなくてそれに腑甲斐無いということはない"が導かれる
5. 推論3と事実1から、推論4: "あの地口は御活躍する"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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