The cow chases the lion. The cow is kind. The cow is nice. The cow is red. The cow is rough. The cow likes the dog. The cow likes the lion. The cow sees the dog. The dog chases the cow. The dog is rough. The lion is kind. The lion is not nice. The lion is red. The lion likes the cow. The lion sees the dog. If something chases the lion and it likes the cow then the lion is not nice. If something likes the dog then it is rough. If the lion does not chase the cow then the cow is kind. If something is big and it likes the dog then the dog is rough. If the dog is big then the dog sees the cow. If the cow sees the dog and the cow does not chase the lion then the lion is rough. If something is kind then it sees the cow. If something sees the cow then the cow likes the lion.
The dog likes the cow.
@0: The cow chases the lion.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple6) -> rule2))] The cow likes the dog.[(triple6)] The cow likes the lion.[(triple7 OR ((((triple11) -> rule7)) -> rule8) OR ((((triple2) -> rule7)) -> rule8))] The cow sees the dog.[(triple8)] The dog chases the cow.[(triple9)] The dog is rough.[(triple10)] The lion is kind.[(triple11)] The lion is not nice.[(triple12)] The lion is red.[(triple13)] The lion likes the cow.[(triple14)] The lion sees the dog.[(triple15)] @1: The cow sees the cow.[(((triple2) -> rule7))] The lion sees the cow.[(((triple11) -> rule7))]