「もし復縁しないとしたら「信心深いということはないけれどどうこうする」ということは偽である」ものはある
fact1: もしその行動障害は復縁しないとしたら「それは信心深くないしどうこうする」ということは事実と異なる
fact1 -> hypothesis;
$facts$ = fact1: もしその行動障害は復縁しないとしたら「それは信心深くないしどうこうする」ということは事実と異なる ; $hypothesis$ = 「もし復縁しないとしたら「信心深いということはないけれどどうこうする」ということは偽である」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしその行動障害は復縁しないとしたら「それは信心深くないしどうこうする」ということは事実と異なる

仮説: 「もし復縁しないとしたら「信心深いということはないけれどどうこうする」ということは偽である」ものはある
1. 事実1から、仮説が導かれる

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