「その小旗は対抗出来る」ということは成り立つ
fact1: 「この傷はひょろ長い」ということは成り立つとすれば「日独だ一方でふてぶてしくない」ということは間違いである fact2: もしもその小旗が対抗出来るけどそれがひょろ長くないとするとこの傷は日独でない fact3: もし仮にあるものは誤り無いならば「冗談っぽくないし人間関係運でない」ということは間違っている fact4: あの賃借人はふてぶてしい fact5: もしも「なにがしかの物は冗談っぽくない物であり更に看過し難い」ということは成り立たないとすれば対抗出来ない fact6: 仮にこの誠実さがふてぶてしくないならば禁煙出来ない fact7: 仮に「この案内人は誤り無い」ということは事実と異ならないならばあの賃借人はひょろ長いが看過し難いということはない fact8: 「調べする」ものはある fact9: 「その小旗は冗談っぽくてそれに看過し難い」ということは成り立たない fact10: ひょろ長い物は対抗出来る fact11: 仮にこの案内人は人間関係運でないならばそれは誤り無くて冗談っぽい fact12: 「その小旗は冗談っぽくないが対抗出来る」ということは間違っているとすると人間関係運でない fact13: 「この案内人は人間関係運だけれど看過し難くない」ということは成り立たない fact14: もしも「禁煙出来る」物があるとすればあの案内人は人間関係運だが強しない fact15: もしも「「この傷は日独でないしまたふてぶてしくない」ということは事実と異なる」ということは成り立つならあの賃借人は誤り無い fact16: この誠実さは禁煙出来る fact17: もし「あるものは看過し難くないけれど人間関係運だ」ということは嘘であるならそれは日独でない fact18: 仮にこの傷はひょろ長くないとしたら「その小旗は冗談っぽくないけど看過し難い」ということは偽である fact19: もしあの賃借人がひょろ長いけど看過し難くないとしたらその小旗はひょろ長い fact20: 「もしこの誠実さは対抗出来るということはないならば「その小旗はふてぶてしいということはないがしかしそれは禁煙出来る」ということは成り立たない」ということは正しい fact21: 仮にその小旗は強しないならば「この案内人は人間関係運であるということはない一方でそれは看過し難い」ということは事実でない fact22: もし仮に「あの総貸し付け残高別は調べしないしさらに禁煙出来ない」ということは偽であるとするとこの誠実さは禁煙出来ない fact23: 仮にこの傷が日独だとしたらあの賃借人は誤り無い fact24: 「「この案内人は人間関係運だけれど強しない」ということは確かならあの賃借人は誤り無くない」ということは真実だ fact25: その小旗は止み難い fact26: もしなにがしかのものはひょろ長いなら「日独でないし加えてふてぶてしくない」ということは嘘である
fact26 -> int1: 仮にこの傷はひょろ長いならば「それは日独でないしさらにそれはふてぶてしくない」ということは誤っている; void -> assump1: 以下のように仮定する。「この傷はひょろ長い」ということは成り立つ; int1 & assump1 -> int2: 「この傷は日独でないしふてぶてしいということはない」ということは成り立たない; int2 & fact15 -> int3: あの賃借人は誤り無い; fact16 -> int4: 「禁煙出来る」ものはある; fact14 & int4 -> int5: この案内人は人間関係運だが強しない; int5 & fact24 -> int6: 「あの賃借人は誤り無くない」ということは事実である; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この傷はひょろ長くない; int8 & fact18 -> int9: 「「その小旗は冗談っぽくないけれどそれは看過し難い」ということは確かだ」ということは偽である; fact5 -> int10: もしも「「その小旗は冗談っぽくない一方で看過し難い」ということは成り立たない」ということは確かであるなら対抗出来ない; int9 & int10 -> hypothesis;
「その小旗は対抗出来る」ということは真実だ
fact29 -> int11: 仮にその小旗はひょろ長いなら「対抗出来る」ということは成り立つ;
$facts$ = fact1: 「この傷はひょろ長い」ということは成り立つとすれば「日独だ一方でふてぶてしくない」ということは間違いである fact2: もしもその小旗が対抗出来るけどそれがひょろ長くないとするとこの傷は日独でない fact3: もし仮にあるものは誤り無いならば「冗談っぽくないし人間関係運でない」ということは間違っている fact4: あの賃借人はふてぶてしい fact5: もしも「なにがしかの物は冗談っぽくない物であり更に看過し難い」ということは成り立たないとすれば対抗出来ない fact6: 仮にこの誠実さがふてぶてしくないならば禁煙出来ない fact7: 仮に「この案内人は誤り無い」ということは事実と異ならないならばあの賃借人はひょろ長いが看過し難いということはない fact8: 「調べする」ものはある fact9: 「その小旗は冗談っぽくてそれに看過し難い」ということは成り立たない fact10: ひょろ長い物は対抗出来る fact11: 仮にこの案内人は人間関係運でないならばそれは誤り無くて冗談っぽい fact12: 「その小旗は冗談っぽくないが対抗出来る」ということは間違っているとすると人間関係運でない fact13: 「この案内人は人間関係運だけれど看過し難くない」ということは成り立たない fact14: もしも「禁煙出来る」物があるとすればあの案内人は人間関係運だが強しない fact15: もしも「「この傷は日独でないしまたふてぶてしくない」ということは事実と異なる」ということは成り立つならあの賃借人は誤り無い fact16: この誠実さは禁煙出来る fact17: もし「あるものは看過し難くないけれど人間関係運だ」ということは嘘であるならそれは日独でない fact18: 仮にこの傷はひょろ長くないとしたら「その小旗は冗談っぽくないけど看過し難い」ということは偽である fact19: もしあの賃借人がひょろ長いけど看過し難くないとしたらその小旗はひょろ長い fact20: 「もしこの誠実さは対抗出来るということはないならば「その小旗はふてぶてしいということはないがしかしそれは禁煙出来る」ということは成り立たない」ということは正しい fact21: 仮にその小旗は強しないならば「この案内人は人間関係運であるということはない一方でそれは看過し難い」ということは事実でない fact22: もし仮に「あの総貸し付け残高別は調べしないしさらに禁煙出来ない」ということは偽であるとするとこの誠実さは禁煙出来ない fact23: 仮にこの傷が日独だとしたらあの賃借人は誤り無い fact24: 「「この案内人は人間関係運だけれど強しない」ということは確かならあの賃借人は誤り無くない」ということは真実だ fact25: その小旗は止み難い fact26: もしなにがしかのものはひょろ長いなら「日独でないし加えてふてぶてしくない」ということは嘘である ; $hypothesis$ = 「その小旗は対抗出来る」ということは成り立つ ; $proof$ = 
fact26 -> int1: 仮にこの傷はひょろ長いならば「それは日独でないしさらにそれはふてぶてしくない」ということは誤っている; void -> assump1: 以下のように仮定する。「この傷はひょろ長い」ということは成り立つ; int1 & assump1 -> int2: 「この傷は日独でないしふてぶてしいということはない」ということは成り立たない; int2 & fact15 -> int3: あの賃借人は誤り無い; fact16 -> int4: 「禁煙出来る」ものはある; fact14 & int4 -> int5: この案内人は人間関係運だが強しない; int5 & fact24 -> int6: 「あの賃借人は誤り無くない」ということは事実である; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この傷はひょろ長くない; int8 & fact18 -> int9: 「「その小旗は冗談っぽくないけれどそれは看過し難い」ということは確かだ」ということは偽である; fact5 -> int10: もしも「「その小旗は冗談っぽくない一方で看過し難い」ということは成り立たない」ということは確かであるなら対抗出来ない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 「この傷はひょろ長い」ということは成り立つとすれば「日独だ一方でふてぶてしくない」ということは間違いである
事実2: もしもその小旗が対抗出来るけどそれがひょろ長くないとするとこの傷は日独でない
事実3: もし仮にあるものは誤り無いならば「冗談っぽくないし人間関係運でない」ということは間違っている
事実4: あの賃借人はふてぶてしい
事実5: もしも「なにがしかの物は冗談っぽくない物であり更に看過し難い」ということは成り立たないとすれば対抗出来ない
事実6: 仮にこの誠実さがふてぶてしくないならば禁煙出来ない
事実7: 仮に「この案内人は誤り無い」ということは事実と異ならないならばあの賃借人はひょろ長いが看過し難いということはない
事実8: 「調べする」ものはある
事実9: 「その小旗は冗談っぽくてそれに看過し難い」ということは成り立たない
事実10: ひょろ長い物は対抗出来る
事実11: 仮にこの案内人は人間関係運でないならばそれは誤り無くて冗談っぽい
事実12: 「その小旗は冗談っぽくないが対抗出来る」ということは間違っているとすると人間関係運でない
事実13: 「この案内人は人間関係運だけれど看過し難くない」ということは成り立たない
事実14: もしも「禁煙出来る」物があるとすればあの案内人は人間関係運だが強しない
事実15: もしも「「この傷は日独でないしまたふてぶてしくない」ということは事実と異なる」ということは成り立つならあの賃借人は誤り無い
事実16: この誠実さは禁煙出来る
事実17: もし「あるものは看過し難くないけれど人間関係運だ」ということは嘘であるならそれは日独でない
事実18: 仮にこの傷はひょろ長くないとしたら「その小旗は冗談っぽくないけど看過し難い」ということは偽である
事実19: もしあの賃借人がひょろ長いけど看過し難くないとしたらその小旗はひょろ長い
事実20: 「もしこの誠実さは対抗出来るということはないならば「その小旗はふてぶてしいということはないがしかしそれは禁煙出来る」ということは成り立たない」ということは正しい
事実21: 仮にその小旗は強しないならば「この案内人は人間関係運であるということはない一方でそれは看過し難い」ということは事実でない
事実22: もし仮に「あの総貸し付け残高別は調べしないしさらに禁煙出来ない」ということは偽であるとするとこの誠実さは禁煙出来ない
事実23: 仮にこの傷が日独だとしたらあの賃借人は誤り無い
事実24: 「「この案内人は人間関係運だけれど強しない」ということは確かならあの賃借人は誤り無くない」ということは真実だ
事実25: その小旗は止み難い
事実26: もしなにがしかのものはひょろ長いなら「日独でないし加えてふてぶてしくない」ということは嘘である

仮説: 「その小旗は対抗出来る」ということは成り立つ
1. 事実26から、推論1: "仮にこの傷はひょろ長いならば「それは日独でないしさらにそれはふてぶてしくない」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。「この傷はひょろ長い」ということは成り立つ
3. 推論1と仮定1から、推論2: "「この傷は日独でないしふてぶてしいということはない」ということは成り立たない"が導かれる
4. 推論2と事実15から、推論3: "あの賃借人は誤り無い"が導かれる
5. 事実16から、推論4: "「禁煙出来る」ものはある"が導かれる
6. 事実14と推論4から、推論5: "この案内人は人間関係運だが強しない"が導かれる
7. 推論5と事実24から、推論6: "「あの賃借人は誤り無くない」ということは事実である"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この傷はひょろ長くない"が導かれる
10. 推論8と事実18から、推論9: "「「その小旗は冗談っぽくないけれどそれは看過し難い」ということは確かだ」ということは偽である"が導かれる
11. 事実5から、推論10: "もしも「「その小旗は冗談っぽくない一方で看過し難い」ということは成り立たない」ということは確かであるなら対抗出来ない"が導かれる
12. 推論9と推論10から、仮説が否定される

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