The cat needs the tiger. The cat sees the tiger. The dog is round. The dog does not see the squirrel. The dog does not visit the cat. The squirrel is not kind. The squirrel is not rough. The squirrel does not need the cat. The tiger is kind. The tiger is rough. The tiger needs the cat. The tiger does not need the squirrel. The tiger sees the dog. The tiger sees the squirrel. The tiger visits the squirrel. If someone sees the cat and they are not young then the cat is round. If someone sees the dog then the dog visits the squirrel. If someone needs the tiger then they visit the dog. If someone visits the squirrel and they do not need the dog then they visit the dog. If someone is blue then they need the tiger. If someone visits the tiger and they do not need the cat then the cat sees the squirrel. If someone is rough and they need the cat then they are blue. If someone sees the tiger and they do not need the squirrel then the tiger sees the cat.
The dog does not visit the tiger.
@0: The cat needs the tiger.[(triple1)] The cat sees the tiger.[(triple2)] The dog does not see the squirrel.[(triple4)] The dog does not visit the cat.[(triple5)] The dog is round.[(triple3)] The squirrel does not need the cat.[(triple8)] The squirrel is not kind.[(triple6)] The squirrel is not rough.[(triple7)] The tiger does not need the squirrel.[(triple12)] The tiger is kind.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the cat.[(triple11)] The tiger sees the dog.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The cat visits the dog.[(((triple1) -> rule3))] The dog visits the squirrel.[(((triple13) -> rule2))] The tiger is blue.[(((triple10 triple11) -> rule7))] @2: The tiger needs the tiger.[(((((triple10 triple11) -> rule7)) -> rule5))] @3: The tiger visits the dog.[(((((((triple10 triple11) -> rule7)) -> rule5)) -> rule3))]