Deductions
- dyad has quality class ⇐ (existence is a class), (dyad has quality existence)
- classical logic has quality dyad ⇐ (consistency is subclass of dyad), (classical logic has quality consistency)
- logical system has quality dyad ⇐ (consistency is subclass of dyad), (logical system has quality consistency)
- tautology is subclass of dyad ⇐ (! is subclass of dyad), (! is opposite of tautology)
- consistency is subclass of dyad ⇐ (! is subclass of dyad), (! is opposite of consistency)
- entity is for example dyad ⇐ (dyad is a entity), (is a is inverse of is for example)
- dyad has quality existence ⇐ (dyad is a entity), (entity has quality existence)
- dyad is a entity ⇐ (type of fixed-size set or group is subclass of entity), (dyad is a type of fixed-size set or group)
- Federal Government of the United States has part dyad ⇐ (United States Congress is a dyad), (Federal Government of the United States has part United States Congress)
- dyad is for example Confederate States Congress ⇐ (Confederate States Congress is a dyad), (is a is inverse of is for example)
- dyad is for example atomic bombings of Hiroshima and Nagasaki ⇐ (atomic bombings of Hiroshima and Nagasaki is a dyad), (is a is inverse of is for example)
- dyad is for example Parliament of South Africa ⇐ (Parliament of South Africa is a dyad), (is a is inverse of is for example)
- type of fixed-size set or group is for example dyad ⇐ (dyad is a type of fixed-size set or group), (is a is inverse of is for example)
- dyad is for example United States Congress ⇐ (United States Congress is a dyad), (is a is inverse of is for example)
- class is for example dyad ⇐ (dyad is a class), (is a is inverse of is for example)
- consensus is subclass of dyad ⇐ (disagreement is subclass of dyad), (disagreement is opposite of consensus)
- disagreement is subclass of dyad ⇐ (disagreement is subclass of !), (! is subclass of dyad), (is subclass of is a transitive relation)
- dyad is subclass of entity ⇐ (dyad is subclass of collective entity), (collective entity is subclass of entity), (is subclass of is a transitive relation)
- dyad is a class ⇐ (type of fixed-size set or group is subclass of class), (dyad is a type of fixed-size set or group)
- Confederate States Congress is a dyad ⇐ (bicameral legislature is subclass of dyad), (Confederate States Congress is a bicameral legislature)
- Parliament of South Africa is a dyad ⇐ (bicameral legislature is subclass of dyad), (Parliament of South Africa is a bicameral legislature)
- United States Congress is a dyad ⇐ (bicameral legislature is subclass of dyad), (United States Congress is a bicameral legislature)