Bob is young. Dave is blue. Dave is white. Erin is kind. Erin is smart. Erin is young. Harry is big. Harry is blue. Harry is rough. Harry is smart. Harry is white. Harry is young. If Harry is rough then Harry is white.
Dave is not kind.
@0: Bob is young.[(triple1)] Dave is blue.[(triple2)] Dave is white.[(triple3)] Erin is kind.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11 OR ((triple9) -> rule1))] Harry is young.[(triple12)]