Razonamiento con grafos

A reasoning is proposed with premises and a conclusion relating to properties of bipartite graphs; the validity and truth value of each premise and the conclusion are analyzed and demonstrated.