Dave is blue. Erin is cold. Fiona is not smart. Gary is round. All blue people are not round. If someone is round then they are smart. Smart, cold people are not white. If someone is round then they are red. If someone is round and not smart then they are red. If Gary is red and Gary is blue then Gary is not quiet.
Erin is smart.
@0: Dave is blue.[(triple1)] Erin is cold.[(triple2)] Fiona is not smart.[(triple3)] Gary is round.[(triple4)] @1: Dave is not round.[(((triple1) -> rule1))] Gary is red.[(((triple4) -> rule4))] Gary is smart.[(((triple4) -> rule2))]