The cat is kind. The cat is red. The cat is rough. If someone is red then they are rough.
The cat is not kind.
@0: The cat is kind.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3 OR ((triple2) -> rule1))]