その満鮮は打ち難くて更にそれは包括的理論である
fact1: 「レードである」物はある fact2: もしなにがしかの物はレードであるなら「その満鮮は打ち難くておまけに包括的理論である」ということは成り立たない
$facts$ = fact1: 「レードである」物はある fact2: もしなにがしかの物はレードであるなら「その満鮮は打ち難くておまけに包括的理論である」ということは成り立たない ; $hypothesis$ = その満鮮は打ち難くて更にそれは包括的理論である ; $proof$ = 
事実1: 「レードである」物はある
事実2: もしなにがしかの物はレードであるなら「その満鮮は打ち難くておまけに包括的理論である」ということは成り立たない

仮説: その満鮮は打ち難くて更にそれは包括的理論である