Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Charlie is blue. Charlie is cold. Charlie is rough. Charlie is white. Dave is blue. Dave is cold. Harry is blue. Harry is cold. Harry is rough. Harry is white. Harry is young. Rough, big things are kind.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple5 triple1) -> rule1))] Bob is rough.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]