The cat sees the dog. The cat visits the dog. The cow does not chase the dog. The cow is big. The cow does not visit the cat. The cow visits the dog. The dog does not chase the cat. The dog is not big. The dog is kind. The dog is nice. The dog sees the cat. The dog visits the lion. The lion chases the cat. The lion does not chase the cow. The lion sees the cat. The lion sees the cow. If someone chases the cow then they chase the lion. If someone sees the dog and they do not visit the lion then they chase the lion. If the cow is cold then the cow chases the cat. If the lion sees the cat and the lion does not chase the cow then the lion sees the cow. If someone visits the lion and they visit the dog then they chase the dog. If someone visits the lion then the lion is kind. If someone visits the lion then they see the cow. If someone sees the cow then they visit the dog.
The cow chases the cat.
@0: The cat sees the dog.[(triple1)] The cat visits the dog.[(triple2)] The cow does not chase the dog.[(triple3)] The cow does not visit the cat.[(triple5)] The cow is big.[(triple4)] The cow visits the dog.[(triple6)] The dog does not chase the cat.[(triple7)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog is not big.[(triple8)] The dog sees the cat.[(triple11)] The dog visits the lion.[(triple12)] The lion chases the cat.[(triple13)] The lion does not chase the cow.[(triple14)] The lion sees the cat.[(triple15)] The lion sees the cow.[(triple16 OR ((triple15 triple14) -> rule4))] @1: The dog sees the cow.[(((triple12) -> rule7))] The lion is kind.[(((triple12) -> rule6))] The lion visits the dog.[(((triple16) -> rule8) OR ((((triple15 triple14) -> rule4)) -> rule8))] @2: The dog visits the dog.[(((((triple12) -> rule7)) -> rule8))] @3: The dog chases the dog.[(((triple12 ((((triple12) -> rule7)) -> rule8)) -> rule5))]