Erin is blue. Erin is not cold. Erin is not kind. Erin is nice. Erin is round. Erin is smart. Erin is young. If someone is smart and not young then they are cold. If someone is blue then they are not cold. Cold people are smart. If someone is smart and young then they are round. All round people are nice. If Erin is round and Erin is not blue then Erin is not nice.
Erin is young.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple4 OR ((triple5) -> rule5) OR ((((triple6 triple7) -> rule4)) -> rule5))] Erin is not cold.[(triple2 OR ((triple1) -> rule2))] Erin is not kind.[(triple3)] Erin is round.[(triple5 OR ((triple6 triple7) -> rule4))] Erin is smart.[(triple6)] Erin is young.[(triple7)]