Bob is cold. Bob is kind. Bob is rough. Charlie is kind. Harry is big. Harry is blue. Harry is not cold. Harry is not kind. Harry is nice. Harry is rough. If Harry is rough then Harry is not kind.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Charlie is kind.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is nice.[(triple9)] Harry is not cold.[(triple7)] Harry is not kind.[(triple8 OR ((triple10) -> rule1))] Harry is rough.[(triple10)]