「「もしも「空しいしおまけにたわいないということはない」ということは誤りであるとしたら沸き出さない」物はある」ということは成り立たない
fact1: もしも「その中田家は空しいがたわいなくない」ということは事実と異なるとしたら沸き出さない fact2: もし「その中田家は空しいがしかしそれはたわいなくない」ということは間違いならそれは沸き出す
fact1 -> hypothesis;
$facts$ = fact1: もしも「その中田家は空しいがたわいなくない」ということは事実と異なるとしたら沸き出さない fact2: もし「その中田家は空しいがしかしそれはたわいなくない」ということは間違いならそれは沸き出す ; $hypothesis$ = 「「もしも「空しいしおまけにたわいないということはない」ということは誤りであるとしたら沸き出さない」物はある」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしも「その中田家は空しいがたわいなくない」ということは事実と異なるとしたら沸き出さない
事実2: もし「その中田家は空しいがしかしそれはたわいなくない」ということは間違いならそれは沸き出す

仮説: 「「もしも「空しいしおまけにたわいないということはない」ということは誤りであるとしたら沸き出さない」物はある」ということは成り立たない
1. 事実1から、仮説が否定される

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