「仮に「印刷サイズだ一方で申し伝えるということはない」ということは成り立つということはないならば「加減する」ということは事実である」物はある
fact1: もしもこの唐子が印刷サイズだ一方でそれが申し伝えるということはないとすればそれは加減する fact2: 「その勧業課は成す」ということは成り立つ fact3: 「もし仮に「テント小屋である一方で御逃げに成らない」ということは嘘であるとするときらめき渡る」物はある fact4: 「仮に印刷サイズでかつ申し伝えないとすると加減する」物はある fact5: 「あの当該適格分割等は申し伝えない」ということは本当だ fact6: もし仮に「その契約形態は入り辛い」ということは成り立つならこの唐獅子牡丹はカーブする fact7: 「この医療法改正は気分転換しない」ということは事実である fact8: 「その指導者層は申し伝える」ということは成り立つ fact9: もしも「何かは申し伝えないが印刷サイズである」ということは嘘ならば拡大しない fact10: この練習は申し伝えるけど騒々しくない fact11: 「もしも「印刷サイズでない」ということは確かなら加減する」ものはある fact12: もしも「何かはカーブする」ということは嘘でないとすれば「それは会話するけれど執念深くない」ということは嘘だ fact13: 「この唐子は申し伝えない」ということは本当だ fact14: 「もしあの訴えが精神的伝統であるとするとこの唐子は当該製品でないしさらに加減しない」ということは成り立つ fact15: もし何らかの物は加減するということはないとすると「申し伝えないけれど印刷サイズだ」ということは間違っている fact16: 「もしその勧業課は成すなら「その勧業課は入り辛い」ということは確かである」ということは正しい fact17: もし「その全額回収不能は付き易いけれど既判でない」ということは嘘だとしたらそれは直り難い fact18: その勧業課が入り辛いならその契約形態は入り辛い fact19: もしも「この唐子は怪しいけれど直り難くない」ということは本当でないとすると黄色っぽい fact20: なにかは印刷サイズでないならばそれは加減する
void -> assump2: 以下のように仮定する。この唐子は印刷サイズだ; assump2 & fact13 -> int1: この唐子は印刷サイズだけど申し伝えるということはない; void -> assump1: 以下のように仮定する。「この唐子は印刷サイズだ一方で申し伝えない」ということは事実でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この唐子は印刷サイズでない; fact20 -> int4: この唐子は印刷サイズでないとしたら加減する; int3 & int4 -> int5: この唐子は加減する; [assump1] & int5 -> int6: もし仮に「この唐子は印刷サイズであるが申し伝えない」ということは成り立たないとしたらそれは加減する; int6 -> hypothesis;
この唐子は拡大しない
fact27 -> int7: もし仮に「この唐子は申し伝えないが印刷サイズである」ということは嘘ならば拡大しない; fact24 -> int8: もし仮にこの唐子は加減しないなら「それは申し伝えないが印刷サイズだ」ということは間違っている; fact22 -> int9: 仮にこの唐獅子牡丹はカーブすれば「「会話するしそれは執念深くない」ということは成り立つ」ということは成り立たない; fact26 & fact23 -> int10: その勧業課は入り辛い; fact21 & int10 -> int11: その契約形態は入り辛い; fact25 & int11 -> int12: この唐獅子牡丹はカーブする; int9 & int12 -> int13: 「この唐獅子牡丹は会話するけど執念深くない」ということは事実と異なる; int13 -> int14: 「「会話する一方で執念深くない」ということは成り立たない」ものはある;
$facts$ = fact1: もしもこの唐子が印刷サイズだ一方でそれが申し伝えるということはないとすればそれは加減する fact2: 「その勧業課は成す」ということは成り立つ fact3: 「もし仮に「テント小屋である一方で御逃げに成らない」ということは嘘であるとするときらめき渡る」物はある fact4: 「仮に印刷サイズでかつ申し伝えないとすると加減する」物はある fact5: 「あの当該適格分割等は申し伝えない」ということは本当だ fact6: もし仮に「その契約形態は入り辛い」ということは成り立つならこの唐獅子牡丹はカーブする fact7: 「この医療法改正は気分転換しない」ということは事実である fact8: 「その指導者層は申し伝える」ということは成り立つ fact9: もしも「何かは申し伝えないが印刷サイズである」ということは嘘ならば拡大しない fact10: この練習は申し伝えるけど騒々しくない fact11: 「もしも「印刷サイズでない」ということは確かなら加減する」ものはある fact12: もしも「何かはカーブする」ということは嘘でないとすれば「それは会話するけれど執念深くない」ということは嘘だ fact13: 「この唐子は申し伝えない」ということは本当だ fact14: 「もしあの訴えが精神的伝統であるとするとこの唐子は当該製品でないしさらに加減しない」ということは成り立つ fact15: もし何らかの物は加減するということはないとすると「申し伝えないけれど印刷サイズだ」ということは間違っている fact16: 「もしその勧業課は成すなら「その勧業課は入り辛い」ということは確かである」ということは正しい fact17: もし「その全額回収不能は付き易いけれど既判でない」ということは嘘だとしたらそれは直り難い fact18: その勧業課が入り辛いならその契約形態は入り辛い fact19: もしも「この唐子は怪しいけれど直り難くない」ということは本当でないとすると黄色っぽい fact20: なにかは印刷サイズでないならばそれは加減する ; $hypothesis$ = 「仮に「印刷サイズだ一方で申し伝えるということはない」ということは成り立つということはないならば「加減する」ということは事実である」物はある ; $proof$ = 
void -> assump2: 以下のように仮定する。この唐子は印刷サイズだ; assump2 & fact13 -> int1: この唐子は印刷サイズだけど申し伝えるということはない; void -> assump1: 以下のように仮定する。「この唐子は印刷サイズだ一方で申し伝えない」ということは事実でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この唐子は印刷サイズでない; fact20 -> int4: この唐子は印刷サイズでないとしたら加減する; int3 & int4 -> int5: この唐子は加減する; [assump1] & int5 -> int6: もし仮に「この唐子は印刷サイズであるが申し伝えない」ということは成り立たないとしたらそれは加減する; int6 -> hypothesis; __PROVED__
事実1: もしもこの唐子が印刷サイズだ一方でそれが申し伝えるということはないとすればそれは加減する
事実2: 「その勧業課は成す」ということは成り立つ
事実3: 「もし仮に「テント小屋である一方で御逃げに成らない」ということは嘘であるとするときらめき渡る」物はある
事実4: 「仮に印刷サイズでかつ申し伝えないとすると加減する」物はある
事実5: 「あの当該適格分割等は申し伝えない」ということは本当だ
事実6: もし仮に「その契約形態は入り辛い」ということは成り立つならこの唐獅子牡丹はカーブする
事実7: 「この医療法改正は気分転換しない」ということは事実である
事実8: 「その指導者層は申し伝える」ということは成り立つ
事実9: もしも「何かは申し伝えないが印刷サイズである」ということは嘘ならば拡大しない
事実10: この練習は申し伝えるけど騒々しくない
事実11: 「もしも「印刷サイズでない」ということは確かなら加減する」ものはある
事実12: もしも「何かはカーブする」ということは嘘でないとすれば「それは会話するけれど執念深くない」ということは嘘だ
事実13: 「この唐子は申し伝えない」ということは本当だ
事実14: 「もしあの訴えが精神的伝統であるとするとこの唐子は当該製品でないしさらに加減しない」ということは成り立つ
事実15: もし何らかの物は加減するということはないとすると「申し伝えないけれど印刷サイズだ」ということは間違っている
事実16: 「もしその勧業課は成すなら「その勧業課は入り辛い」ということは確かである」ということは正しい
事実17: もし「その全額回収不能は付き易いけれど既判でない」ということは嘘だとしたらそれは直り難い
事実18: その勧業課が入り辛いならその契約形態は入り辛い
事実19: もしも「この唐子は怪しいけれど直り難くない」ということは本当でないとすると黄色っぽい
事実20: なにかは印刷サイズでないならばそれは加減する

仮説: 「仮に「印刷サイズだ一方で申し伝えるということはない」ということは成り立つということはないならば「加減する」ということは事実である」物はある
1. 仮定2: 以下のように仮定する。この唐子は印刷サイズだ
2. 仮定2と事実13から、推論1: "この唐子は印刷サイズだけど申し伝えるということはない"が導かれる
3. 仮定1: 以下のように仮定する。「この唐子は印刷サイズだ一方で申し伝えない」ということは事実でない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この唐子は印刷サイズでない"が導かれる
6. 事実20から、推論4: "この唐子は印刷サイズでないとしたら加減する"が導かれる
7. 推論3と推論4から、推論5: "この唐子は加減する"が導かれる
8. [仮定1]と推論5から、推論6: "もし仮に「この唐子は印刷サイズであるが申し伝えない」ということは成り立たないとしたらそれは加減する"が導かれる
9. 推論6から、仮説が導かれる

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