Bob is kind. Bob is young. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is young. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is young. If something is cold then it is young.
Bob is quiet.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7 OR ((triple3) -> rule1))] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12 OR ((triple8) -> rule1))]