Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Big, cold people are kind. If someone is kind and not big then they are not cold. If Erin is cold and Erin is not kind then Erin is quiet.
Erin is quiet.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4 OR ((triple1 triple2) -> rule1))] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]