Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is young. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is young. Harry is green. Harry is kind. Harry is nice. If something is kind and smart then it is rough.
Harry is young.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((triple7 triple11) -> rule1))] Erin is smart.[(triple11)] Erin is young.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15)]