The cow does not chase the tiger. The cow is blue. The cow is green. The cow is not kind. The cow is round. The cow does not like the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is not blue. The tiger is green. The tiger is kind. The tiger is not rough. The tiger is round. The tiger likes the cow. The tiger does not visit the cow. If the tiger likes the cow then the tiger does not visit the cow. If someone chases the tiger and they are blue then the tiger likes the cow. If the cow chases the tiger and the cow is not kind then the cow visits the tiger.
The cow is not blue.
@0: The cow does not chase the tiger.[(triple1)] The cow does not like the tiger.[(triple6)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is not kind.[(triple4)] The cow is round.[(triple5)] The cow visits the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger does not visit the cow.[(triple15 OR ((triple14) -> rule1))] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is not blue.[(triple9)] The tiger is not rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the cow.[(triple14)]