The cat is big. The cat is kind. The cat is nice. The cat is red. The cat is rough. All rough, red people are kind.
The cat chases the cat.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2 OR ((triple5 triple4) -> rule1))] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5)]