その一下肢は歌劇団である
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: 「捨て難い」ものはある
fact23 & fact5 -> int1: 「あのデパ地下は公売処分だ」ということは成り立つ; fact1 & fact19 -> int2: あのデパ地下は成功出来る; int1 & int2 -> int3: あのデパ地下が公売処分だしおまけに成功出来る; int3 & fact14 -> hypothesis;
この圧縮対象はそっくりさんであるしその上崩し易い
$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: 「捨て難い」ものはある ; $hypothesis$ = その一下肢は歌劇団である ; $proof$ = 
fact23 & fact5 -> int1: 「あのデパ地下は公売処分だ」ということは成り立つ; fact1 & fact19 -> int2: あのデパ地下は成功出来る; int1 & int2 -> int3: あのデパ地下が公売処分だしおまけに成功出来る; int3 & fact14 -> 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: 「捨て難い」ものはある

仮説: その一下肢は歌劇団である
1. 事実23と事実5から、推論1: "「あのデパ地下は公売処分だ」ということは成り立つ"が導かれる
2. 事実1と事実19から、推論2: "あのデパ地下は成功出来る"が導かれる
3. 推論1と推論2から、推論3: "あのデパ地下が公売処分だしおまけに成功出来る"が導かれる
4. 推論3と事実14から、仮説が否定される

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