あの花伝書は揉み立てる一方で返送しない
fact1: 仮にある物は無くないなら「揉み立てるが返送しない」ということは誤っている fact2: もしもあの花伝書が揉み立てないならそれは似付かわしくらない fact3: 無い物は似付かわしい fact4: 「この猛攻は深い」ということは成り立つ fact5: ある物が揉み立てないならそれは似付かわしくらない fact6: もし「ある物は揉み立てる一方で返送しない」ということは嘘ならそれは似付かわしくらない fact7: もし仮にこの猛攻が深いならあの花伝書は無い fact8: 「あの花伝書は揉み立てない」ということは嘘だ
fact6 -> int1: もしも「あの花伝書は揉み立てるがしかしそれは返送しない」ということは誤っていればそれは似付かわしくらない; void -> assump1: 以下のように仮定する。「あの花伝書は揉み立てるがしかし返送するということはない」ということは誤りである; int1 & assump1 -> int2: あの花伝書は似付かわしくらない; fact3 -> int3: もしもあの花伝書が無いなら似付かわしい; fact7 & fact4 -> int4: あの花伝書は無い; int3 & int4 -> int5: あの花伝書は似付かわしい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの花伝書は揉み立てる一方でそれは返送するということはない」ということは誤りである
fact9 -> int7: もし仮にあの花伝書は無くないとすると「揉み立てるけど返送しない」ということは真実でない;
$facts$ = fact1: 仮にある物は無くないなら「揉み立てるが返送しない」ということは誤っている fact2: もしもあの花伝書が揉み立てないならそれは似付かわしくらない fact3: 無い物は似付かわしい fact4: 「この猛攻は深い」ということは成り立つ fact5: ある物が揉み立てないならそれは似付かわしくらない fact6: もし「ある物は揉み立てる一方で返送しない」ということは嘘ならそれは似付かわしくらない fact7: もし仮にこの猛攻が深いならあの花伝書は無い fact8: 「あの花伝書は揉み立てない」ということは嘘だ ; $hypothesis$ = あの花伝書は揉み立てる一方で返送しない ; $proof$ = 
fact6 -> int1: もしも「あの花伝書は揉み立てるがしかしそれは返送しない」ということは誤っていればそれは似付かわしくらない; void -> assump1: 以下のように仮定する。「あの花伝書は揉み立てるがしかし返送するということはない」ということは誤りである; int1 & assump1 -> int2: あの花伝書は似付かわしくらない; fact3 -> int3: もしもあの花伝書が無いなら似付かわしい; fact7 & fact4 -> int4: あの花伝書は無い; int3 & int4 -> int5: あの花伝書は似付かわしい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮にある物は無くないなら「揉み立てるが返送しない」ということは誤っている
事実2: もしもあの花伝書が揉み立てないならそれは似付かわしくらない
事実3: 無い物は似付かわしい
事実4: 「この猛攻は深い」ということは成り立つ
事実5: ある物が揉み立てないならそれは似付かわしくらない
事実6: もし「ある物は揉み立てる一方で返送しない」ということは嘘ならそれは似付かわしくらない
事実7: もし仮にこの猛攻が深いならあの花伝書は無い
事実8: 「あの花伝書は揉み立てない」ということは嘘だ

仮説: あの花伝書は揉み立てる一方で返送しない
1. 事実6から、推論1: "もしも「あの花伝書は揉み立てるがしかしそれは返送しない」ということは誤っていればそれは似付かわしくらない"が導かれる
2. 仮定1: 以下のように仮定する。「あの花伝書は揉み立てるがしかし返送するということはない」ということは誤りである
3. 推論1と仮定1から、推論2: "あの花伝書は似付かわしくらない"が導かれる
4. 事実3から、推論3: "もしもあの花伝書が無いなら似付かわしい"が導かれる
5. 事実7と事実4から、推論4: "あの花伝書は無い"が導かれる
6. 推論3と推論4から、推論5: "あの花伝書は似付かわしい"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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