この伸び側は捨て難くない
fact1: もし仮にその当て馬がふてぶてしくないならそれは生易しくない fact2: もし仮に「「その従弟は御呉れるがそれは端数でない」ということは嘘だ」ということは成り立つならそれは熱苦しくない fact3: もし仮に「この伸び側は御呉れなくて捨て難くない」ということは成り立たないならその当て馬はふてぶてしい fact4: なにがしかの物が破却しないとすると最勝智でないし巣内式部でない fact5: もしも「その当て馬は生易しいということはない」ということは真実であるなら「熱苦しくない」ということは成り立つ fact6: もし「なにがしかのものは巣内式部であるけれど事件本人でない」ということは真実だということはないとしたら熱苦しいということはない fact7: もしも「なにがしかの物は捨て難いけれど生易しくない」ということは成り立つということはないならば捨て難くない fact8: もしもある物が熱苦しいとしたら御呉れない fact9: もし「そのケージは破却するがしかしそれはＩＴＳ関係者でない」ということは事実と異なるならその従弟は破却しない fact10: 「「その当て馬は生易しくないしおまけに御呉れない」ということは真実だ」ということは事実でない fact11: もし仮にその従弟は巣内式部でないならば「その当て馬は熱苦しくてそれは東経である」ということは成り立つ fact12: もし仮にその当て馬は生易しくないならば「その従弟は御呉れないし加えて熱苦しいということはない」ということは成り立たない fact13: もしとあるものは熱苦しくないとすると「生易しくないししかも御呉れない」ということは偽である fact14: 「その当て馬はふてぶてしいけれど端数でない」ということは誤っている fact15: その当て馬は御呉れないとしたら「この伸び側は捨て難いけど生易しくない」ということは事実と異なる fact16: 仮に「「その当て馬はふてぶてしい一方でそれは端数でない」ということは偽である」ということは正しいならば生易しくない fact17: 仮に「その従弟は御呉れないしまた熱苦しくない」ということは誤っているとするとこの伸び側は捨て難い
fact16 & fact14 -> int1: その当て馬は生易しくない; int1 & fact12 -> int2: 「その従弟は御呉れなくておまけに熱苦しくない」ということは確かでない; int2 & fact17 -> hypothesis;
この伸び側は捨て難くない
fact18 -> int3: もし仮にその当て馬は熱苦しくないなら「それは生易しくなくてかつ御呉れない」ということは間違っている;
$facts$ = fact1: もし仮にその当て馬がふてぶてしくないならそれは生易しくない fact2: もし仮に「「その従弟は御呉れるがそれは端数でない」ということは嘘だ」ということは成り立つならそれは熱苦しくない fact3: もし仮に「この伸び側は御呉れなくて捨て難くない」ということは成り立たないならその当て馬はふてぶてしい fact4: なにがしかの物が破却しないとすると最勝智でないし巣内式部でない fact5: もしも「その当て馬は生易しいということはない」ということは真実であるなら「熱苦しくない」ということは成り立つ fact6: もし「なにがしかのものは巣内式部であるけれど事件本人でない」ということは真実だということはないとしたら熱苦しいということはない fact7: もしも「なにがしかの物は捨て難いけれど生易しくない」ということは成り立つということはないならば捨て難くない fact8: もしもある物が熱苦しいとしたら御呉れない fact9: もし「そのケージは破却するがしかしそれはＩＴＳ関係者でない」ということは事実と異なるならその従弟は破却しない fact10: 「「その当て馬は生易しくないしおまけに御呉れない」ということは真実だ」ということは事実でない fact11: もし仮にその従弟は巣内式部でないならば「その当て馬は熱苦しくてそれは東経である」ということは成り立つ fact12: もし仮にその当て馬は生易しくないならば「その従弟は御呉れないし加えて熱苦しいということはない」ということは成り立たない fact13: もしとあるものは熱苦しくないとすると「生易しくないししかも御呉れない」ということは偽である fact14: 「その当て馬はふてぶてしいけれど端数でない」ということは誤っている fact15: その当て馬は御呉れないとしたら「この伸び側は捨て難いけど生易しくない」ということは事実と異なる fact16: 仮に「「その当て馬はふてぶてしい一方でそれは端数でない」ということは偽である」ということは正しいならば生易しくない fact17: 仮に「その従弟は御呉れないしまた熱苦しくない」ということは誤っているとするとこの伸び側は捨て難い ; $hypothesis$ = この伸び側は捨て難くない ; $proof$ = 
fact16 & fact14 -> int1: その当て馬は生易しくない; int1 & fact12 -> int2: 「その従弟は御呉れなくておまけに熱苦しくない」ということは確かでない; int2 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮にその当て馬がふてぶてしくないならそれは生易しくない
事実2: もし仮に「「その従弟は御呉れるがそれは端数でない」ということは嘘だ」ということは成り立つならそれは熱苦しくない
事実3: もし仮に「この伸び側は御呉れなくて捨て難くない」ということは成り立たないならその当て馬はふてぶてしい
事実4: なにがしかの物が破却しないとすると最勝智でないし巣内式部でない
事実5: もしも「その当て馬は生易しいということはない」ということは真実であるなら「熱苦しくない」ということは成り立つ
事実6: もし「なにがしかのものは巣内式部であるけれど事件本人でない」ということは真実だということはないとしたら熱苦しいということはない
事実7: もしも「なにがしかの物は捨て難いけれど生易しくない」ということは成り立つということはないならば捨て難くない
事実8: もしもある物が熱苦しいとしたら御呉れない
事実9: もし「そのケージは破却するがしかしそれはＩＴＳ関係者でない」ということは事実と異なるならその従弟は破却しない
事実10: 「「その当て馬は生易しくないしおまけに御呉れない」ということは真実だ」ということは事実でない
事実11: もし仮にその従弟は巣内式部でないならば「その当て馬は熱苦しくてそれは東経である」ということは成り立つ
事実12: もし仮にその当て馬は生易しくないならば「その従弟は御呉れないし加えて熱苦しいということはない」ということは成り立たない
事実13: もしとあるものは熱苦しくないとすると「生易しくないししかも御呉れない」ということは偽である
事実14: 「その当て馬はふてぶてしいけれど端数でない」ということは誤っている
事実15: その当て馬は御呉れないとしたら「この伸び側は捨て難いけど生易しくない」ということは事実と異なる
事実16: 仮に「「その当て馬はふてぶてしい一方でそれは端数でない」ということは偽である」ということは正しいならば生易しくない
事実17: 仮に「その従弟は御呉れないしまた熱苦しくない」ということは誤っているとするとこの伸び側は捨て難い

仮説: この伸び側は捨て難くない
1. 事実16と事実14から、推論1: "その当て馬は生易しくない"が導かれる
2. 推論1と事実12から、推論2: "「その従弟は御呉れなくておまけに熱苦しくない」ということは確かでない"が導かれる
3. 推論2と事実17から、仮説が否定される

よって、仮説が否定されました。