「「もしも「敬するしおまけに今昔物語集でない」ということは誤りだとすると冷遇しない」ものはある」ということは嘘である
fact1: もしも「そのスタディは敬する一方で今昔物語集でない」ということは偽であるならばそれは冷遇しない fact2: もしそのスタディが敬しないならば冷遇しない fact3: 「何らかの物は大沼池である一方でそれは非オピオイド系でない」ということは真実でないならリラックスしない fact4: そのスタディは固目であるならば貿易しない fact5: 「もし仮に「敬するし今昔物語集だ」ということは成り立たないとすれば冷遇するということはない」ものはある fact6: もしそのスタディが敬するがしかしそれは今昔物語集でないとするとそれは冷遇するということはない fact7: もし「そのスタディは敬するし今昔物語集である」ということは間違いであるとするとそれは冷遇するということはない fact8: 「もし今昔物語集であるとすれば冷遇するということはない」物はある fact9: 「仮に敬するが今昔物語集でないならば冷遇するということはない」ものはある fact10: 「「敬するし今昔物語集だということはない」ということは成り立たないならば冷遇する」ものはある
fact1 -> hypothesis;
fact1 -> hypothesis;
「もし仮に「大沼池だししかも非オピオイド系でない」ということは偽だとしたらリラックスするということはない」ものはある
fact11 -> int1: もし「この兵権は大沼池だけど非オピオイド系でない」ということは事実と異なるとしたらリラックスしない; int1 -> hypothesis;
$facts$ = fact1: もしも「そのスタディは敬する一方で今昔物語集でない」ということは偽であるならばそれは冷遇しない fact2: もしそのスタディが敬しないならば冷遇しない fact3: 「何らかの物は大沼池である一方でそれは非オピオイド系でない」ということは真実でないならリラックスしない fact4: そのスタディは固目であるならば貿易しない fact5: 「もし仮に「敬するし今昔物語集だ」ということは成り立たないとすれば冷遇するということはない」ものはある fact6: もしそのスタディが敬するがしかしそれは今昔物語集でないとするとそれは冷遇するということはない fact7: もし「そのスタディは敬するし今昔物語集である」ということは間違いであるとするとそれは冷遇するということはない fact8: 「もし今昔物語集であるとすれば冷遇するということはない」物はある fact9: 「仮に敬するが今昔物語集でないならば冷遇するということはない」ものはある fact10: 「「敬するし今昔物語集だということはない」ということは成り立たないならば冷遇する」ものはある ; $hypothesis$ = 「「もしも「敬するしおまけに今昔物語集でない」ということは誤りだとすると冷遇しない」ものはある」ということは嘘である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしも「そのスタディは敬する一方で今昔物語集でない」ということは偽であるならばそれは冷遇しない
事実2: もしそのスタディが敬しないならば冷遇しない
事実3: 「何らかの物は大沼池である一方でそれは非オピオイド系でない」ということは真実でないならリラックスしない
事実4: そのスタディは固目であるならば貿易しない
事実5: 「もし仮に「敬するし今昔物語集だ」ということは成り立たないとすれば冷遇するということはない」ものはある
事実6: もしそのスタディが敬するがしかしそれは今昔物語集でないとするとそれは冷遇するということはない
事実7: もし「そのスタディは敬するし今昔物語集である」ということは間違いであるとするとそれは冷遇するということはない
事実8: 「もし今昔物語集であるとすれば冷遇するということはない」物はある
事実9: 「仮に敬するが今昔物語集でないならば冷遇するということはない」ものはある
事実10: 「「敬するし今昔物語集だということはない」ということは成り立たないならば冷遇する」ものはある

仮説: 「「もしも「敬するしおまけに今昔物語集でない」ということは誤りだとすると冷遇しない」ものはある」ということは嘘である
1. 事実1から、仮説が否定される

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