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