Voters
(Click "Prove" to run)
Premises:
(forall ?Person (=> (Voter ?Person) (or (Democrat ?Person) (Republican ?Person)))) (forall ?Person (=> (Liberal ?Person) (not (Republican ?Person))))
Conclusion:
(forall ?Person (=> (and (Liberal ?Person) (Voter ?Person)) (Democrat ?Person)))
Proof Trace