その審判例はパロディ化するということはない
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: もしも何かは纏まり易いとすると燃すということはないかあるいは短過ぎないか両方ともである fact27: もし「「スーパースター商品だが黒でない」ということは成り立たない」ものがあるとするとこの防空システムは躍り上がらない
fact7 & fact9 -> int1: そのペクチンは纏まり易くない; int1 & fact19 -> int2: 「この防空システムは纏まり易いし眠い」ということは嘘だ; int2 & fact8 -> int3: 「この十一時頃は果たし終えない」ということは事実である; fact3 -> int4: もしもこの十一時頃は果たし終えないならば「茶色いということはなくて更にそれは躍り上がる」ということは事実でない; int3 & int4 -> int5: 「この十一時頃は茶色くないが躍り上がる」ということは成り立たない; int5 & fact1 -> int6: 「その無情は蓄積され易くない」ということは正しい; int6 & fact2 -> int7: 「「あのトランス状態はスーパースター商品であるということはないしさらに蓄積され易くない」ということは成り立たない」ということは成り立つ; int7 & fact23 -> hypothesis;
その審判例はパロディ化しない
fact29 -> int8: 仮にその審判例が纏まり易いとするとそれは燃さないかあるいは短過ぎるということはないか両方である; fact36 -> int9: その審判例が果たし終えれば纏まり易い; fact34 -> int10: そのペクチンが躍り上がらないとすると茶色いということはない; fact35 & fact28 -> int11: その無情は産卵しない; int11 -> int12: 「とあるものは産卵しない」ということは本当である; int12 & fact38 -> int13: この十一時頃は生じ易いし良い; int13 -> int14: 「この十一時頃は良い」ということは本当だ; fact30 & int14 -> int15: 「この十一時頃はスーパースター商品だがそれは黒でない」ということは成り立たない; int15 -> int16: 「「「スーパースター商品でまた黒でない」ということは成り立つ」ということは成り立つということはない」ものはある; int16 & fact32 -> int17: 「この防空システムは躍り上がるということはない」ということは成り立つ; int17 -> int18: この防空システムは蓄積され易いということはないかもしくは躍り上がらない; fact33 & int18 -> int19: そのペクチンは躍り上がらない; int10 & int19 -> int20: そのペクチンは茶色くない; fact31 & int20 -> int21: その審判例は果たし終えるがしかし眠くない; int21 -> int22: その審判例は果たし終える; int9 & int22 -> int23: その審判例は纏まり易い; int8 & int23 -> int24: その審判例は燃さないかもしくは短過ぎないかもしくは両方である; fact37 -> int25: 「その審判例は燃さない」ということは事実であるとするとパロディ化しない;
$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: もしも何かは纏まり易いとすると燃すということはないかあるいは短過ぎないか両方ともである fact27: もし「「スーパースター商品だが黒でない」ということは成り立たない」ものがあるとするとこの防空システムは躍り上がらない ; $hypothesis$ = その審判例はパロディ化するということはない ; $proof$ = 
fact7 & fact9 -> int1: そのペクチンは纏まり易くない; int1 & fact19 -> int2: 「この防空システムは纏まり易いし眠い」ということは嘘だ; int2 & fact8 -> int3: 「この十一時頃は果たし終えない」ということは事実である; fact3 -> int4: もしもこの十一時頃は果たし終えないならば「茶色いということはなくて更にそれは躍り上がる」ということは事実でない; int3 & int4 -> int5: 「この十一時頃は茶色くないが躍り上がる」ということは成り立たない; int5 & fact1 -> int6: 「その無情は蓄積され易くない」ということは正しい; int6 & fact2 -> int7: 「「あのトランス状態はスーパースター商品であるということはないしさらに蓄積され易くない」ということは成り立たない」ということは成り立つ; int7 & fact23 -> 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: もしも何かは纏まり易いとすると燃すということはないかあるいは短過ぎないか両方ともである
事実27: もし「「スーパースター商品だが黒でない」ということは成り立たない」ものがあるとするとこの防空システムは躍り上がらない

仮説: その審判例はパロディ化するということはない
1. 事実7と事実9から、推論1: "そのペクチンは纏まり易くない"が導かれる
2. 推論1と事実19から、推論2: "「この防空システムは纏まり易いし眠い」ということは嘘だ"が導かれる
3. 推論2と事実8から、推論3: "「この十一時頃は果たし終えない」ということは事実である"が導かれる
4. 事実3から、推論4: "もしもこの十一時頃は果たし終えないならば「茶色いということはなくて更にそれは躍り上がる」ということは事実でない"が導かれる
5. 推論3と推論4から、推論5: "「この十一時頃は茶色くないが躍り上がる」ということは成り立たない"が導かれる
6. 推論5と事実1から、推論6: "「その無情は蓄積され易くない」ということは正しい"が導かれる
7. 推論6と事実2から、推論7: "「「あのトランス状態はスーパースター商品であるということはないしさらに蓄積され易くない」ということは成り立たない」ということは成り立つ"が導かれる
8. 推論7と事実23から、仮説が否定される

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