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