Premise: INTRODUCTION

Hypothesis: Conclusion.
Relation: contradiction