「「「低下しなくて扱い易くない」ということは間違いである」ものはある」ということは成り立たない
fact1: もし仮に「そのディズニー・プロダクションズは物悲しいししかもそれは書き起こす」ということは誤りであるなら見易くない fact2: もしそのディズニー・プロダクションズは見易くないとしたら「その総三郎は低下するということはないしさらに扱い易くない」ということは嘘だ fact3: もし仮にそのディズニー・プロダクションズは低下しないならば「その総三郎は書き起こさなくてそれは見易いということはない」ということは偽だ fact4: 「そのディズニー・プロダクションズは物悲しくて書き起こす」ということは嘘である fact5: もし仮にそのディズニー・プロダクションズが物悲しくないならばそれは見易いということはない fact6: 「「扱い易い一方で見易くない」ということは誤っている」ものはある
fact1 & fact4 -> int1: そのディズニー・プロダクションズは見易くない; int1 & fact2 -> int2: 「その総三郎は低下しないしその上扱い易いない」ということは確かでない; int2 -> hypothesis;
$facts$ = fact1: もし仮に「そのディズニー・プロダクションズは物悲しいししかもそれは書き起こす」ということは誤りであるなら見易くない fact2: もしそのディズニー・プロダクションズは見易くないとしたら「その総三郎は低下するということはないしさらに扱い易くない」ということは嘘だ fact3: もし仮にそのディズニー・プロダクションズは低下しないならば「その総三郎は書き起こさなくてそれは見易いということはない」ということは偽だ fact4: 「そのディズニー・プロダクションズは物悲しくて書き起こす」ということは嘘である fact5: もし仮にそのディズニー・プロダクションズが物悲しくないならばそれは見易いということはない fact6: 「「扱い易い一方で見易くない」ということは誤っている」ものはある ; $hypothesis$ = 「「「低下しなくて扱い易くない」ということは間違いである」ものはある」ということは成り立たない ; $proof$ = 
fact1 & fact4 -> int1: そのディズニー・プロダクションズは見易くない; int1 & fact2 -> int2: 「その総三郎は低下しないしその上扱い易いない」ということは確かでない; int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのディズニー・プロダクションズは物悲しいししかもそれは書き起こす」ということは誤りであるなら見易くない
事実2: もしそのディズニー・プロダクションズは見易くないとしたら「その総三郎は低下するということはないしさらに扱い易くない」ということは嘘だ
事実3: もし仮にそのディズニー・プロダクションズは低下しないならば「その総三郎は書き起こさなくてそれは見易いということはない」ということは偽だ
事実4: 「そのディズニー・プロダクションズは物悲しくて書き起こす」ということは嘘である
事実5: もし仮にそのディズニー・プロダクションズが物悲しくないならばそれは見易いということはない
事実6: 「「扱い易い一方で見易くない」ということは誤っている」ものはある

仮説: 「「「低下しなくて扱い易くない」ということは間違いである」ものはある」ということは成り立たない
1. 事実1と事実4から、推論1: "そのディズニー・プロダクションズは見易くない"が導かれる
2. 推論1と事実2から、推論2: "「その総三郎は低下しないしその上扱い易いない」ということは確かでない"が導かれる
3. 推論2から、仮説が否定される

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