The cat is round. The dog needs the tiger. The tiger chases the dog. If the dog chases the cat and the dog is kind then the cat needs the tiger. If someone chases the dog then the dog needs the tiger.
The cat does not need the tiger.
@0: The cat is round.[(triple1)] The dog needs the tiger.[(triple2 OR ((triple3) -> rule2))] The tiger chases the dog.[(triple3)]