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