「「眠るということはないとしたら説くということはない一方でバランス良い」ものはある」ということは嘘だ
fact1: もしもその嬢ちゃんが眠らないとすると説かない一方でバランス良い fact2: 仮にその嬢ちゃんが眠るということはないとしたらそれは説くしさらにバランス良い fact3: 「もしも披瀝しないとすればおっそろしし汚らしい」物はある fact4: もしも「なにがしかのものは政体でない」ということは正しいなら同期化しなくてそれは洗浄だ fact5: 仮にその嬢ちゃんは眠れば「説かないしまたそれはバランス良い」ということは偽だということはない fact6: 「もし仮に「眠る」ということは成り立てば説かないけれどバランス良い」物はある fact7: 「もしも「眠らない」ということは事実であるとしたら説かない」物はある
fact1 -> hypothesis;
「政体であるということはないとすると同期化しないしさらに洗浄である」ものはある
fact8 -> int1: 仮にあの心臓手術後が政体でないならそれは同期化しないしそれに洗浄だ; int1 -> hypothesis;
$facts$ = fact1: もしもその嬢ちゃんが眠らないとすると説かない一方でバランス良い fact2: 仮にその嬢ちゃんが眠るということはないとしたらそれは説くしさらにバランス良い fact3: 「もしも披瀝しないとすればおっそろしし汚らしい」物はある fact4: もしも「なにがしかのものは政体でない」ということは正しいなら同期化しなくてそれは洗浄だ fact5: 仮にその嬢ちゃんは眠れば「説かないしまたそれはバランス良い」ということは偽だということはない fact6: 「もし仮に「眠る」ということは成り立てば説かないけれどバランス良い」物はある fact7: 「もしも「眠らない」ということは事実であるとしたら説かない」物はある ; $hypothesis$ = 「「眠るということはないとしたら説くということはない一方でバランス良い」ものはある」ということは嘘だ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしもその嬢ちゃんが眠らないとすると説かない一方でバランス良い
事実2: 仮にその嬢ちゃんが眠るということはないとしたらそれは説くしさらにバランス良い
事実3: 「もしも披瀝しないとすればおっそろしし汚らしい」物はある
事実4: もしも「なにがしかのものは政体でない」ということは正しいなら同期化しなくてそれは洗浄だ
事実5: 仮にその嬢ちゃんは眠れば「説かないしまたそれはバランス良い」ということは偽だということはない
事実6: 「もし仮に「眠る」ということは成り立てば説かないけれどバランス良い」物はある
事実7: 「もしも「眠らない」ということは事実であるとしたら説かない」物はある

仮説: 「「眠るということはないとしたら説くということはない一方でバランス良い」ものはある」ということは嘘だ
1. 事実1から、仮説が否定される

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