The cat is big. The cat is nice. The cat does not visit the cow. The cat visits the tiger. The cow chases the cat. The cow is nice. The cow is not red. The cow sees the tiger. The tiger does not see the cat. The tiger does not visit the cow. If the cow is nice then the cow sees the tiger.
The cow is not rough.
@0: The cat does not visit the cow.[(triple3)] The cat is big.[(triple1)] The cat is nice.[(triple2)] The cat visits the tiger.[(triple4)] The cow chases the cat.[(triple5)] The cow is nice.[(triple6)] The cow is not red.[(triple7)] The cow sees the tiger.[(triple8 OR ((triple6) -> rule1))] The tiger does not see the cat.[(triple9)] The tiger does not visit the cow.[(triple10)]