Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. All quiet, blue people are cold.
Erin is quiet.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple5 triple1) -> rule1))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)]