「あの赤ランプは止めど無くないけどそれは悲しい」ということは成り立つ
fact1: もし「「その大宝令は鳴き出しないかもしくは平べったくない」ということは事実だ」ということは嘘であるとしたらこの先発メンバーは平べったい fact2: この先発メンバーが平べったいとしたらその縦横比は捕らえ難いということはないかそれは量子化しない fact3: 「あの赤ランプは止めど無くて悲しい」ということは偽である fact4: 止めど無くなくて更に悲しいというものはない fact5: 仮に「とあるものは格好良いし加えてそれは量子化する」ということは事実と異なればそれは格好良くない fact6: 仮に何らかのものは新しないとすると「それは自己コントロール出来なくて打ち難くない」ということは誤っている fact7: もし仮にあるものはむさいなら「それは鳴き出しないかまたは平べったくないかもしくは両方である」ということは成り立たない fact8: 五号営業が形式化しないなら折しない fact9: 「とあるものは平べったい一方でむさくない」ということは成り立つということはないとしたら捕らえ難くない fact10: もしも「なんらかの物は新し一方で睨み上げない」ということは誤りであるとするとそれは新しない fact11: 「このプロフィットセンターは新し一方で睨み上げない」ということは間違っている fact12: 止めど無くておまけに悲しいという物はない fact13: 仮にこの人員整理が格好良いならあの赤ランプは止めど無くない一方で悲しい fact14: もし仮に「折しない」物があるとすればあの大宝令は腹立たしいししかもむさい fact15: もし「その縦横比は捕らえ難くない」ということは確かだとすればこの人員整理は格好良い fact16: 「なんらかのものは自己コントロール出来るということはなくて打ち難くない」ということは事実でないならば「それは打ち難い」ということは真実である fact17: 仮になにかは捕らえ難くないとすると「格好良くて量子化する」ということは嘘である fact18: 「このプロフィットセンターは立ち読みしない」ということは正しいとすればあの繁雑さは五号営業だが形式化しない fact19: この人員整理は鳴き出さない fact20: もしとある物は格好良くないとすると「「悲しくないし怒りっぽい」ということは成り立つ」ということは誤りだ fact21: もしも何らかの物は打ち難いとすれば「それは立ち読みしない」ということは嘘でない
fact4 -> hypothesis;
あの赤ランプは止めど無くないがそれは悲しい
fact34 -> int1: もしその大宝令はむさいとしたら「それは鳴き出しないか平べったくないか両方ともである」ということは成り立たない; fact26 -> int2: 「もし仮にその繁雑さが五号営業だけど形式化しないならその繁雑さは折しない」ということは成り立つ; fact23 -> int3: 「このプロフィットセンターは打ち難い」ということは真実だとしたらそれは立ち読みするということはない; fact24 -> int4: 「このプロフィットセンターは自己コントロール出来なくて打ち難くない」ということは偽だとしたら打ち難い; fact33 -> int5: もしもこのプロフィットセンターは新しないとすれば「それは自己コントロール出来なくて打ち難くない」ということは成り立たない; fact30 -> int6: もし「このプロフィットセンターは新しが睨み上げない」ということは確かでないとしたら「それは新しない」ということは確かだ; int6 & fact22 -> int7: このプロフィットセンターは新しない; int5 & int7 -> int8: 「このプロフィットセンターは自己コントロール出来ないし打ち難くない」ということは誤っている; int4 & int8 -> int9: このプロフィットセンターは打ち難い; int3 & int9 -> int10: このプロフィットセンターは立ち読みしない; fact28 & int10 -> int11: その繁雑さは五号営業であるがしかしそれは形式化しない; int2 & int11 -> int12: その繁雑さは折するということはない; int12 -> int13: 「折しない」ものはある; int13 & fact25 -> int14: その大宝令は腹立たしいしそれにむさい; int14 -> int15: その大宝令はむさい; int1 & int15 -> int16: 「「その大宝令は鳴き出しないかもしくはそれは平べったくない」ということは事実でない」ということは正しい; fact27 & int16 -> int17: 「この先発メンバーは平べったい」ということは事実だ; fact31 & int17 -> int18: その縦横比は捕らえ難くないかあるいは量子化しない;
$facts$ = fact1: もし「「その大宝令は鳴き出しないかもしくは平べったくない」ということは事実だ」ということは嘘であるとしたらこの先発メンバーは平べったい fact2: この先発メンバーが平べったいとしたらその縦横比は捕らえ難いということはないかそれは量子化しない fact3: 「あの赤ランプは止めど無くて悲しい」ということは偽である fact4: 止めど無くなくて更に悲しいというものはない fact5: 仮に「とあるものは格好良いし加えてそれは量子化する」ということは事実と異なればそれは格好良くない fact6: 仮に何らかのものは新しないとすると「それは自己コントロール出来なくて打ち難くない」ということは誤っている fact7: もし仮にあるものはむさいなら「それは鳴き出しないかまたは平べったくないかもしくは両方である」ということは成り立たない fact8: 五号営業が形式化しないなら折しない fact9: 「とあるものは平べったい一方でむさくない」ということは成り立つということはないとしたら捕らえ難くない fact10: もしも「なんらかの物は新し一方で睨み上げない」ということは誤りであるとするとそれは新しない fact11: 「このプロフィットセンターは新し一方で睨み上げない」ということは間違っている fact12: 止めど無くておまけに悲しいという物はない fact13: 仮にこの人員整理が格好良いならあの赤ランプは止めど無くない一方で悲しい fact14: もし仮に「折しない」物があるとすればあの大宝令は腹立たしいししかもむさい fact15: もし「その縦横比は捕らえ難くない」ということは確かだとすればこの人員整理は格好良い fact16: 「なんらかのものは自己コントロール出来るということはなくて打ち難くない」ということは事実でないならば「それは打ち難い」ということは真実である fact17: 仮になにかは捕らえ難くないとすると「格好良くて量子化する」ということは嘘である fact18: 「このプロフィットセンターは立ち読みしない」ということは正しいとすればあの繁雑さは五号営業だが形式化しない fact19: この人員整理は鳴き出さない fact20: もしとある物は格好良くないとすると「「悲しくないし怒りっぽい」ということは成り立つ」ということは誤りだ fact21: もしも何らかの物は打ち難いとすれば「それは立ち読みしない」ということは嘘でない ; $hypothesis$ = 「あの赤ランプは止めど無くないけどそれは悲しい」ということは成り立つ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もし「「その大宝令は鳴き出しないかもしくは平べったくない」ということは事実だ」ということは嘘であるとしたらこの先発メンバーは平べったい
事実2: この先発メンバーが平べったいとしたらその縦横比は捕らえ難いということはないかそれは量子化しない
事実3: 「あの赤ランプは止めど無くて悲しい」ということは偽である
事実4: 止めど無くなくて更に悲しいというものはない
事実5: 仮に「とあるものは格好良いし加えてそれは量子化する」ということは事実と異なればそれは格好良くない
事実6: 仮に何らかのものは新しないとすると「それは自己コントロール出来なくて打ち難くない」ということは誤っている
事実7: もし仮にあるものはむさいなら「それは鳴き出しないかまたは平べったくないかもしくは両方である」ということは成り立たない
事実8: 五号営業が形式化しないなら折しない
事実9: 「とあるものは平べったい一方でむさくない」ということは成り立つということはないとしたら捕らえ難くない
事実10: もしも「なんらかの物は新し一方で睨み上げない」ということは誤りであるとするとそれは新しない
事実11: 「このプロフィットセンターは新し一方で睨み上げない」ということは間違っている
事実12: 止めど無くておまけに悲しいという物はない
事実13: 仮にこの人員整理が格好良いならあの赤ランプは止めど無くない一方で悲しい
事実14: もし仮に「折しない」物があるとすればあの大宝令は腹立たしいししかもむさい
事実15: もし「その縦横比は捕らえ難くない」ということは確かだとすればこの人員整理は格好良い
事実16: 「なんらかのものは自己コントロール出来るということはなくて打ち難くない」ということは事実でないならば「それは打ち難い」ということは真実である
事実17: 仮になにかは捕らえ難くないとすると「格好良くて量子化する」ということは嘘である
事実18: 「このプロフィットセンターは立ち読みしない」ということは正しいとすればあの繁雑さは五号営業だが形式化しない
事実19: この人員整理は鳴き出さない
事実20: もしとある物は格好良くないとすると「「悲しくないし怒りっぽい」ということは成り立つ」ということは誤りだ
事実21: もしも何らかの物は打ち難いとすれば「それは立ち読みしない」ということは嘘でない

仮説: 「あの赤ランプは止めど無くないけどそれは悲しい」ということは成り立つ
1. 事実4から、仮説が否定される

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