「「「こっ酷い」ということは成り立てば「げんなりするが便所でない」ということは事実でない」物はある」ということは正しくない
fact1: もしあの弗化はこっ酷いなら「げんなりするけど便所でない」ということは誤っている
$facts$ = fact1: もしあの弗化はこっ酷いなら「げんなりするけど便所でない」ということは誤っている ; $hypothesis$ = 「「「こっ酷い」ということは成り立てば「げんなりするが便所でない」ということは事実でない」物はある」ということは正しくない ; $proof$ = 
事実1: もしあの弗化はこっ酷いなら「げんなりするけど便所でない」ということは誤っている

仮説: 「「「こっ酷い」ということは成り立てば「げんなりするが便所でない」ということは事実でない」物はある」ということは正しくない