The cat is big. The cat is kind. The cat is not red. The cat is rough. The cat is not young. If the cat is red then the cat is kind. If someone is red and big then they are not kind. If someone is young and big then they are kind. All rough people are kind. All big, young people are not red. If someone is rough and young then they are red. If someone is red and kind then they are rough. If someone is kind and not big then they are young.
The cat visits the cat.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2 OR ((triple4) -> rule4))] The cat is not red.[(triple3)] The cat is not young.[(triple5)] The cat is rough.[(triple4)]