Every adult male woolly monkey is larger than even the largest female woolly monkey.
Statements
Conditional (every) Adult male woolly monkey → larger than the largest female
Conditional (any) Adult male in a colony → dominates any female
Evaluate
When we get Conditionals on Must Be True, we're usually being tested on our ability to do one or more of these three things: 1) contrapose a rule 2) chain rules together 3) see that a fact triggers a rule
Do these two rules chain together? No, they have a trigger in common. We could sort of consolidate them and say,
Goal
Let's look for anything we can prove. Maybe it'll be a Trait Overlap inference like, "some larger things are dominant".