仮に「あのインストールＣＤは独り言しない一方で疑い深い」ということは成り立たないとしたらそれは落ち掛けない
fact1: 「「何かは独り言しないが疑い深い」ということは本当だ」ということは間違いだとしたら「落ち掛けない」ということは成り立つ
$facts$ = fact1: 「「何かは独り言しないが疑い深い」ということは本当だ」ということは間違いだとしたら「落ち掛けない」ということは成り立つ ; $hypothesis$ = 仮に「あのインストールＣＤは独り言しない一方で疑い深い」ということは成り立たないとしたらそれは落ち掛けない ; $proof$ = 
事実1: 「「何かは独り言しないが疑い深い」ということは本当だ」ということは間違いだとしたら「落ち掛けない」ということは成り立つ

仮説: 仮に「あのインストールＣＤは独り言しない一方で疑い深い」ということは成り立たないとしたらそれは落ち掛けない