その健康保険は門付けしない
fact1: もしその索が選択され易いならばあの健康保険は門付けする fact2: その索は選択され易いかもしくはパラ・ランゲージであるかもしくは両方ともだ fact3: 仮にその索がパラ・ランゲージならその健康保険は門付けする
$facts$ = fact1: もしその索が選択され易いならばあの健康保険は門付けする fact2: その索は選択され易いかもしくはパラ・ランゲージであるかもしくは両方ともだ fact3: 仮にその索がパラ・ランゲージならその健康保険は門付けする ; $hypothesis$ = その健康保険は門付けしない ; $proof$ = 
事実1: もしその索が選択され易いならばあの健康保険は門付けする
事実2: その索は選択され易いかもしくはパラ・ランゲージであるかもしくは両方ともだ
事実3: 仮にその索がパラ・ランゲージならその健康保険は門付けする

仮説: その健康保険は門付けしない