Anne is rough. Anne is round. Bob is kind. Bob is nice. Bob is quiet. Erin is cold. Erin is kind. Erin is nice. Erin is not rough. Erin is round. Erin is young. Harry is cold. Harry is kind. Harry is nice. Harry is rough. All young things are kind.
Harry is not kind.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7 OR ((triple11) -> rule1))] Erin is nice.[(triple8)] Erin is not rough.[(triple9)] Erin is round.[(triple10)] Erin is young.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)]