この政教分離主義は多しない
fact1: もし仮に「この結婚願望は早起きするけど聡くない」ということは事実と異なるとしたらこの王政は信心する fact2: 早起きするしそれは聡くないというものはない fact3: 「この政教分離主義は休憩しないが多し」ということは偽である fact4: 信心するしその上それは多しないという物はない fact5: 「もし仮に「この王政は純粋性でないが認識す」ということは間違いならば「この政教分離主義は多しということはない」ということは成り立つ」ということは本当である fact6: この結婚願望は多しない fact7: それは反芻するしかつそれは純粋性だという物はない fact8: なにがしかの物は信心するとすると「純粋性でないけれど認識す」ということは嘘である fact9: もしもこの結婚願望は早起きするとすると「信心しないが純粋性だ」ということは成り立つということはない
fact2 -> int1: 「「この結婚願望は早起きする一方で聡くない」ということは成り立たない」ということは成り立つ; int1 & fact1 -> int2: この王政は信心する; fact8 -> int3: もしもこの王政は信心するとすれば「純粋性でない一方で認識す」ということは事実と異なる; int2 & int3 -> int4: 「この王政は純粋性であるということはないけど認識す」ということは誤りである; int4 & fact5 -> hypothesis;
この政教分離主義は多し
fact10 -> int5: 「この王政は反芻するしその上純粋性だ」ということは間違いだ;
$facts$ = fact1: もし仮に「この結婚願望は早起きするけど聡くない」ということは事実と異なるとしたらこの王政は信心する fact2: 早起きするしそれは聡くないというものはない fact3: 「この政教分離主義は休憩しないが多し」ということは偽である fact4: 信心するしその上それは多しないという物はない fact5: 「もし仮に「この王政は純粋性でないが認識す」ということは間違いならば「この政教分離主義は多しということはない」ということは成り立つ」ということは本当である fact6: この結婚願望は多しない fact7: それは反芻するしかつそれは純粋性だという物はない fact8: なにがしかの物は信心するとすると「純粋性でないけれど認識す」ということは嘘である fact9: もしもこの結婚願望は早起きするとすると「信心しないが純粋性だ」ということは成り立つということはない ; $hypothesis$ = この政教分離主義は多しない ; $proof$ = 
fact2 -> int1: 「「この結婚願望は早起きする一方で聡くない」ということは成り立たない」ということは成り立つ; int1 & fact1 -> int2: この王政は信心する; fact8 -> int3: もしもこの王政は信心するとすれば「純粋性でない一方で認識す」ということは事実と異なる; int2 & int3 -> int4: 「この王政は純粋性であるということはないけど認識す」ということは誤りである; int4 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に「この結婚願望は早起きするけど聡くない」ということは事実と異なるとしたらこの王政は信心する
事実2: 早起きするしそれは聡くないというものはない
事実3: 「この政教分離主義は休憩しないが多し」ということは偽である
事実4: 信心するしその上それは多しないという物はない
事実5: 「もし仮に「この王政は純粋性でないが認識す」ということは間違いならば「この政教分離主義は多しということはない」ということは成り立つ」ということは本当である
事実6: この結婚願望は多しない
事実7: それは反芻するしかつそれは純粋性だという物はない
事実8: なにがしかの物は信心するとすると「純粋性でないけれど認識す」ということは嘘である
事実9: もしもこの結婚願望は早起きするとすると「信心しないが純粋性だ」ということは成り立つということはない

仮説: この政教分離主義は多しない
1. 事実2から、推論1: "「「この結婚願望は早起きする一方で聡くない」ということは成り立たない」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "この王政は信心する"が導かれる
3. 事実8から、推論3: "もしもこの王政は信心するとすれば「純粋性でない一方で認識す」ということは事実と異なる"が導かれる
4. 推論2と推論3から、推論4: "「この王政は純粋性であるということはないけど認識す」ということは誤りである"が導かれる
5. 推論4と事実5から、仮説が導かれる

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