The cat is big. The cat is rough. The cat is round. If someone is round and rough then they are big.
The cat does not chase the cat.
@0: The cat is big.[(triple1 OR ((triple3 triple2) -> rule1))] The cat is rough.[(triple2)] The cat is round.[(triple3)]