あのテレビゲームは誇りっぽくない
fact1: 目新しいものは御腹一杯である fact2: もしもあのテレビゲームは面目無くないなら「御腹一杯で目新しくない」ということは成り立たない fact3: この故障中は目新しい fact4: もし仮に「「冷め易くないけれど花魁だ」ということは本当でない」ものがあるとしたらその小龍包みは目新しい fact5: 仮に「なにがしかのものは御腹一杯であるけど目新しくない」ということは間違いであるならばそれは花魁である fact6: 「その出生前は少子・高齢化でないしまた花魁でない」ということは正しくない fact7: もし仮に「転がり込まない」ものはあるとすれば「その出生前は冷め易くないが花魁だ」ということは偽だ fact8: 花魁は転がり込むかまたは冷め易くない fact9: なにがしかの物は面目無くない fact10: もし仮にその小龍包みは少子・高齢化だということはないなら「この百戦は少子・高齢化でないし更に安しない」ということは成り立たない fact11: もしその出生前が目新しくないとするとあのサービス価値は冷め易くない一方で花魁である fact12: 「転がり込まない」ものはある fact13: 仮になんらかのものは弱いとすると「それは少子・高齢化でなくてしかも安しない」ということは誤りである fact14: その小龍包みは面目無い fact15: もし「この百戦は少子・高齢化でなくて加えて安しない」ということは誤りであるとするとあのテレビゲームは誇りっぽい fact16: もし仮にその出生前が転がり込むということはないがしかし冷め易いならあのテレビゲームは誇りっぽくない fact17: 仮になんらかのものが転がり込むとすれば誇りっぽくない fact18: 仮にその小龍包みが御腹一杯であるし面目無いなら少子・高齢化でない
fact12 & fact7 -> int1: 「「「その出生前は冷め易くないがそれは花魁だ」ということは成り立つ」ということは成り立たない」ということは成り立つ; int1 -> int2: 「「冷め易くないがしかし花魁である」ということは成り立つということはない」ものはある; int2 & fact4 -> int3: その小龍包みは目新しい; fact1 -> int4: 「その小龍包みは目新しい」ということは成り立つとすればそれは御腹一杯である; int3 & int4 -> int5: その小龍包みは御腹一杯だ; int5 & fact14 -> int6: その小龍包みは御腹一杯であるし面目無い; int6 & fact18 -> int7: 「その小龍包みは少子・高齢化でない」ということは嘘であるということはない; int7 & fact10 -> int8: 「この百戦は少子・高齢化でなくて更にそれは安しない」ということは偽だ; int8 & fact15 -> hypothesis;
あのテレビゲームは誇りっぽくない
fact22 -> int9: もし仮に「あのテレビゲームは転がり込む」ということは確かだとすると誇りっぽくない; fact23 -> int10: もしその出生前は弱いとすると「少子・高齢化でないししかも安しない」ということは確かでない; fact20 -> int11: もし仮に「あのテレビゲームは御腹一杯だけれど目新しいということはない」ということは成り立たないならば花魁である; fact19 -> int12: 仮にあのテレビゲームが花魁だとすると転がり込むかまたは冷め易くないかあるいは両方ともである;
$facts$ = fact1: 目新しいものは御腹一杯である fact2: もしもあのテレビゲームは面目無くないなら「御腹一杯で目新しくない」ということは成り立たない fact3: この故障中は目新しい fact4: もし仮に「「冷め易くないけれど花魁だ」ということは本当でない」ものがあるとしたらその小龍包みは目新しい fact5: 仮に「なにがしかのものは御腹一杯であるけど目新しくない」ということは間違いであるならばそれは花魁である fact6: 「その出生前は少子・高齢化でないしまた花魁でない」ということは正しくない fact7: もし仮に「転がり込まない」ものはあるとすれば「その出生前は冷め易くないが花魁だ」ということは偽だ fact8: 花魁は転がり込むかまたは冷め易くない fact9: なにがしかの物は面目無くない fact10: もし仮にその小龍包みは少子・高齢化だということはないなら「この百戦は少子・高齢化でないし更に安しない」ということは成り立たない fact11: もしその出生前が目新しくないとするとあのサービス価値は冷め易くない一方で花魁である fact12: 「転がり込まない」ものはある fact13: 仮になんらかのものは弱いとすると「それは少子・高齢化でなくてしかも安しない」ということは誤りである fact14: その小龍包みは面目無い fact15: もし「この百戦は少子・高齢化でなくて加えて安しない」ということは誤りであるとするとあのテレビゲームは誇りっぽい fact16: もし仮にその出生前が転がり込むということはないがしかし冷め易いならあのテレビゲームは誇りっぽくない fact17: 仮になんらかのものが転がり込むとすれば誇りっぽくない fact18: 仮にその小龍包みが御腹一杯であるし面目無いなら少子・高齢化でない ; $hypothesis$ = あのテレビゲームは誇りっぽくない ; $proof$ = 
fact12 & fact7 -> int1: 「「「その出生前は冷め易くないがそれは花魁だ」ということは成り立つ」ということは成り立たない」ということは成り立つ; int1 -> int2: 「「冷め易くないがしかし花魁である」ということは成り立つということはない」ものはある; int2 & fact4 -> int3: その小龍包みは目新しい; fact1 -> int4: 「その小龍包みは目新しい」ということは成り立つとすればそれは御腹一杯である; int3 & int4 -> int5: その小龍包みは御腹一杯だ; int5 & fact14 -> int6: その小龍包みは御腹一杯であるし面目無い; int6 & fact18 -> int7: 「その小龍包みは少子・高齢化でない」ということは嘘であるということはない; int7 & fact10 -> int8: 「この百戦は少子・高齢化でなくて更にそれは安しない」ということは偽だ; int8 & fact15 -> hypothesis; __DISPROVED__
事実1: 目新しいものは御腹一杯である
事実2: もしもあのテレビゲームは面目無くないなら「御腹一杯で目新しくない」ということは成り立たない
事実3: この故障中は目新しい
事実4: もし仮に「「冷め易くないけれど花魁だ」ということは本当でない」ものがあるとしたらその小龍包みは目新しい
事実5: 仮に「なにがしかのものは御腹一杯であるけど目新しくない」ということは間違いであるならばそれは花魁である
事実6: 「その出生前は少子・高齢化でないしまた花魁でない」ということは正しくない
事実7: もし仮に「転がり込まない」ものはあるとすれば「その出生前は冷め易くないが花魁だ」ということは偽だ
事実8: 花魁は転がり込むかまたは冷め易くない
事実9: なにがしかの物は面目無くない
事実10: もし仮にその小龍包みは少子・高齢化だということはないなら「この百戦は少子・高齢化でないし更に安しない」ということは成り立たない
事実11: もしその出生前が目新しくないとするとあのサービス価値は冷め易くない一方で花魁である
事実12: 「転がり込まない」ものはある
事実13: 仮になんらかのものは弱いとすると「それは少子・高齢化でなくてしかも安しない」ということは誤りである
事実14: その小龍包みは面目無い
事実15: もし「この百戦は少子・高齢化でなくて加えて安しない」ということは誤りであるとするとあのテレビゲームは誇りっぽい
事実16: もし仮にその出生前が転がり込むということはないがしかし冷め易いならあのテレビゲームは誇りっぽくない
事実17: 仮になんらかのものが転がり込むとすれば誇りっぽくない
事実18: 仮にその小龍包みが御腹一杯であるし面目無いなら少子・高齢化でない

仮説: あのテレビゲームは誇りっぽくない
1. 事実12と事実7から、推論1: "「「「その出生前は冷め易くないがそれは花魁だ」ということは成り立つ」ということは成り立たない」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「「冷め易くないがしかし花魁である」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実4から、推論3: "その小龍包みは目新しい"が導かれる
4. 事実1から、推論4: "「その小龍包みは目新しい」ということは成り立つとすればそれは御腹一杯である"が導かれる
5. 推論3と推論4から、推論5: "その小龍包みは御腹一杯だ"が導かれる
6. 推論5と事実14から、推論6: "その小龍包みは御腹一杯であるし面目無い"が導かれる
7. 推論6と事実18から、推論7: "「その小龍包みは少子・高齢化でない」ということは嘘であるということはない"が導かれる
8. 推論7と事実10から、推論8: "「この百戦は少子・高齢化でなくて更にそれは安しない」ということは偽だ"が導かれる
9. 推論8と事実15から、仮説が否定される

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