この性質別は自己防衛しないし打ち掛けない
fact1: この性質別は協業するということはない fact2: このスペクタクルは協業するということはない fact3: もし仮にこの性質別は協業しないなら「自己防衛しなくておまけに打ち掛けない」ということは事実と異なる
$facts$ = fact1: この性質別は協業するということはない fact2: このスペクタクルは協業するということはない fact3: もし仮にこの性質別は協業しないなら「自己防衛しなくておまけに打ち掛けない」ということは事実と異なる ; $hypothesis$ = この性質別は自己防衛しないし打ち掛けない ; $proof$ = 
事実1: この性質別は協業するということはない
事実2: このスペクタクルは協業するということはない
事実3: もし仮にこの性質別は協業しないなら「自己防衛しなくておまけに打ち掛けない」ということは事実と異なる

仮説: この性質別は自己防衛しないし打ち掛けない