The dog chases the rabbit. The dog chases the tiger. The dog is big. The dog is green. The dog is not kind. The dog sees the rabbit. The dog sees the tiger. The dog visits the tiger. The rabbit does not chase the tiger. The rabbit is kind. The tiger chases the dog. The tiger chases the rabbit. The tiger is green. The tiger is young. The tiger sees the dog. The tiger sees the rabbit. If the dog chases the rabbit then the dog is big.
The dog is big.
@0: The dog chases the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The dog is big.[(triple3 OR ((triple1) -> rule1))] The dog is green.[(triple4)] The dog is not kind.[(triple5)] The dog sees the rabbit.[(triple6)] The dog sees the tiger.[(triple7)] The dog visits the tiger.[(triple8)] The rabbit does not chase the tiger.[(triple9)] The rabbit is kind.[(triple10)] The tiger chases the dog.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger is green.[(triple13)] The tiger is young.[(triple14)] The tiger sees the dog.[(triple15)] The tiger sees the rabbit.[(triple16)]