The cow chases the dog. The cow eats the tiger. The cow is round. The cow is young. The cow visits the tiger. The dog chases the cow. The dog eats the cow. The dog eats the tiger. The tiger chases the cow. The tiger chases the dog. The tiger eats the cow. The tiger eats the dog. The tiger is nice. The tiger is round. The tiger visits the cow. The tiger visits the dog. If something visits the cow then the cow is round. If something visits the cow and it eats the cow then it chases the dog. If the dog eats the tiger then the dog eats the cow.
The cow eats the tiger.
@0: The cow chases the dog.[(triple1)] The cow eats the tiger.[(triple2)] The cow is round.[(triple3 OR ((triple15) -> rule1))] The cow is young.[(triple4)] The cow visits the tiger.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cow.[(triple7 OR ((triple8) -> rule3))] The dog eats the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the dog.[(triple10 OR ((triple15 triple11) -> rule2))] The tiger eats the cow.[(triple11)] The tiger eats the dog.[(triple12)] The tiger is nice.[(triple13)] The tiger is round.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the dog.[(triple16)]