その反対売買はどうこうしない
fact1: もしも「保ち続ける」物があるならばあの音・音節は扱い兼ねるけれどそれは甘ったるくない fact2: 仮になにかはメール送信でないがしかし木らしいならばどうこうしない fact3: 細くない物がど偉くないとすればどうこうする fact4: もし仮にその音・音節がど偉いとするとあの移転時期は細い fact5: 「保ち続ける」物はある fact6: なにがしかの物が木らしいということはないならばメール送信でないしかつ細くない fact7: もし仮にある物が扱い兼ねるけどそれが甘ったるくないならそれはど偉い fact8: 仮にあの移転時期が細いならその反対売買はメール送信でない一方で木らしい
fact7 -> int1: もし仮にその音・音節は扱い兼ねる一方で甘ったるくないならばそれはど偉い; fact5 & fact1 -> int2: その音・音節は扱い兼ねる一方で甘ったるくない; int1 & int2 -> int3: その音・音節はど偉い; int3 & fact4 -> int4: あの移転時期は細い; int4 & fact8 -> int5: その反対売買はメール送信でないけれどそれは木らしい; fact2 -> int6: その反対売買がメール送信でないけれどそれは木らしいとしたら「それはどうこうするということはない」ということは成り立つ; int5 & int6 -> hypothesis;
その反対売買はどうこうする
fact10 -> int7: もしその反対売買は細いということはなくてしかもど偉くないとするとどうこうする; fact9 -> int8: もし仮にその反対売買が木らしくないとすればメール送信でなくて更に細くない;
$facts$ = fact1: もしも「保ち続ける」物があるならばあの音・音節は扱い兼ねるけれどそれは甘ったるくない fact2: 仮になにかはメール送信でないがしかし木らしいならばどうこうしない fact3: 細くない物がど偉くないとすればどうこうする fact4: もし仮にその音・音節がど偉いとするとあの移転時期は細い fact5: 「保ち続ける」物はある fact6: なにがしかの物が木らしいということはないならばメール送信でないしかつ細くない fact7: もし仮にある物が扱い兼ねるけどそれが甘ったるくないならそれはど偉い fact8: 仮にあの移転時期が細いならその反対売買はメール送信でない一方で木らしい ; $hypothesis$ = その反対売買はどうこうしない ; $proof$ = 
fact7 -> int1: もし仮にその音・音節は扱い兼ねる一方で甘ったるくないならばそれはど偉い; fact5 & fact1 -> int2: その音・音節は扱い兼ねる一方で甘ったるくない; int1 & int2 -> int3: その音・音節はど偉い; int3 & fact4 -> int4: あの移転時期は細い; int4 & fact8 -> int5: その反対売買はメール送信でないけれどそれは木らしい; fact2 -> int6: その反対売買がメール送信でないけれどそれは木らしいとしたら「それはどうこうするということはない」ということは成り立つ; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも「保ち続ける」物があるならばあの音・音節は扱い兼ねるけれどそれは甘ったるくない
事実2: 仮になにかはメール送信でないがしかし木らしいならばどうこうしない
事実3: 細くない物がど偉くないとすればどうこうする
事実4: もし仮にその音・音節がど偉いとするとあの移転時期は細い
事実5: 「保ち続ける」物はある
事実6: なにがしかの物が木らしいということはないならばメール送信でないしかつ細くない
事実7: もし仮にある物が扱い兼ねるけどそれが甘ったるくないならそれはど偉い
事実8: 仮にあの移転時期が細いならその反対売買はメール送信でない一方で木らしい

仮説: その反対売買はどうこうしない
1. 事実7から、推論1: "もし仮にその音・音節は扱い兼ねる一方で甘ったるくないならばそれはど偉い"が導かれる
2. 事実5と事実1から、推論2: "その音・音節は扱い兼ねる一方で甘ったるくない"が導かれる
3. 推論1と推論2から、推論3: "その音・音節はど偉い"が導かれる
4. 推論3と事実4から、推論4: "あの移転時期は細い"が導かれる
5. 推論4と事実8から、推論5: "その反対売買はメール送信でないけれどそれは木らしい"が導かれる
6. 事実2から、推論6: "その反対売買がメール送信でないけれどそれは木らしいとしたら「それはどうこうするということはない」ということは成り立つ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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