The cat is not rough. The cat does not see the dog. The cat sees the tiger. The dog chases the tiger. The dog sees the cat. The tiger chases the cat. The tiger chases the dog. The tiger is big. The tiger is young. The tiger needs the cat. The tiger needs the dog. The tiger does not see the cat. If someone chases the tiger then they need the dog.
The tiger is young.
@0: The cat does not see the dog.[(triple2)] The cat is not rough.[(triple1)] The cat sees the tiger.[(triple3)] The dog chases the tiger.[(triple4)] The dog sees the cat.[(triple5)] The tiger chases the cat.[(triple6)] The tiger chases the dog.[(triple7)] The tiger does not see the cat.[(triple12)] The tiger is big.[(triple8)] The tiger is young.[(triple9)] The tiger needs the cat.[(triple10)] The tiger needs the dog.[(triple11)] @1: The dog needs the dog.[(((triple4) -> rule1))]