Erin is furry. Fiona is not quiet. If Erin is green then Erin is furry. If someone is green then they are not smart. All quiet people are furry. If someone is rough then they are furry. All cold people are not young. Furry, rough people are cold. If someone is furry then they are cold. If Fiona is green and Fiona is not furry then Fiona is smart.
Erin is rough.
@0: Erin is furry.[(triple1)] Fiona is not quiet.[(triple2)] @1: Erin is cold.[(((triple1) -> rule7))] @2: Erin is not young.[(((((triple1) -> rule7)) -> rule5))]