その討議は軟らかくなくてまた立ち読みするということはない
fact1: 仮に「「地下深くない」ということは確かな」ものがあるとすればその討議は軟らかいということはないしさらに立ち読みしない fact2: 「「地下深いということはない」ということは確かな」物があるとすればあの討議は軟らかくない fact3: とあるものは地下深くない fact4: その討議は軟らかくない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「「地下深くない」ということは確かな」ものがあるとすればその討議は軟らかいということはないしさらに立ち読みしない fact2: 「「地下深いということはない」ということは確かな」物があるとすればあの討議は軟らかくない fact3: とあるものは地下深くない fact4: その討議は軟らかくない ; $hypothesis$ = その討議は軟らかくなくてまた立ち読みするということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「「地下深くない」ということは確かな」ものがあるとすればその討議は軟らかいということはないしさらに立ち読みしない
事実2: 「「地下深いということはない」ということは確かな」物があるとすればあの討議は軟らかくない
事実3: とあるものは地下深くない
事実4: その討議は軟らかくない

仮説: その討議は軟らかくなくてまた立ち読みするということはない
1. 事実3と事実1から、仮説が導かれる

よって、仮説が証明されました。