「「合い難くないけど騙す」ということは成り立たないとしたら「捗々しい」ということは正しい」物はある
fact1: 「この合理化は合い難くないけれど騙す」ということは嘘なら「捗々しい」ということは真実である
$facts$ = fact1: 「この合理化は合い難くないけれど騙す」ということは嘘なら「捗々しい」ということは真実である ; $hypothesis$ = 「「合い難くないけど騙す」ということは成り立たないとしたら「捗々しい」ということは正しい」物はある ; $proof$ = 
事実1: 「この合理化は合い難くないけれど騙す」ということは嘘なら「捗々しい」ということは真実である

仮説: 「「合い難くないけど騙す」ということは成り立たないとしたら「捗々しい」ということは正しい」物はある