「なにがしかの物は複合であるしさらにそれは他社である」ということは成り立たない
fact1: この数学は複合だし他社だ
$facts$ = fact1: この数学は複合だし他社だ ; $hypothesis$ = 「なにがしかの物は複合であるしさらにそれは他社である」ということは成り立たない ; $proof$ = 
事実1: この数学は複合だし他社だ

仮説: 「なにがしかの物は複合であるしさらにそれは他社である」ということは成り立たない