The dog is big. The dog needs the rabbit. The dog sees the rabbit. The rabbit chases the tiger. The rabbit needs the dog. The rabbit sees the dog. The tiger chases the dog. The tiger needs the dog. The tiger needs the rabbit. The tiger sees the dog. If something needs the dog and it chases the dog then the dog is big. If something is rough then it needs the dog.
The dog chases the rabbit.
@0: The dog is big.[(triple1 OR ((triple8 triple7) -> rule1))] The dog needs the rabbit.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit needs the dog.[(triple5)] The rabbit sees the dog.[(triple6)] The tiger chases the dog.[(triple7)] The tiger needs the dog.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger sees the dog.[(triple10)]