Erin is blue. Erin is cold. Erin is kind. If something is blue and cold then it is rough. Nice things are cold. If something is cold then it is nice. Rough things are kind. All quiet, kind things are not young. If something is cold and not rough then it is quiet. Rough, blue things are quiet. If something is rough then it is quiet.
Erin is quiet.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3 OR ((((triple1 triple2) -> rule1)) -> rule4))] @1: Erin is nice.[(((triple2) -> rule3))] Erin is rough.[(((triple1 triple2) -> rule1))] @2: Erin is quiet.[(((((triple1 triple2) -> rule1)) -> rule8) OR ((((triple1 triple2) -> rule1) triple1) -> rule7))] @3: Erin is not young.[(((((((triple1 triple2) -> rule1)) -> rule8) triple3) -> rule5) OR ((((((triple1 triple2) -> rule1) triple1) -> rule7) triple3) -> rule5) OR ((((((triple1 triple2) -> rule1)) -> rule8) ((((triple1 triple2) -> rule1)) -> rule4)) -> rule5) OR ((((((triple1 triple2) -> rule1) triple1) -> rule7) ((((triple1 triple2) -> rule1)) -> rule4)) -> rule5))]