The cat is nice. The cat is round. The cat needs the tiger. The cat visits the cow. The cat visits the tiger. The cow is not kind. The cow is not nice. The cow is round. The cow needs the cat. The cow needs the tiger. The cow visits the tiger. The tiger is kind. The tiger does not like the cat. The tiger likes the cow. The tiger visits the cat. If the cat visits the cow then the cat needs the cow.
The cow is kind.
@0: The cat is nice.[(triple1)] The cat is round.[(triple2)] The cat needs the tiger.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the tiger.[(triple5)] The cow is not kind.[(triple6)] The cow is not nice.[(triple7)] The cow is round.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the tiger.[(triple10)] The cow visits the tiger.[(triple11)] The tiger does not like the cat.[(triple13)] The tiger is kind.[(triple12)] The tiger likes the cow.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat needs the cow.[(((triple4) -> rule1))]