The cat is big. The cat is kind. The cat does not need the dog. The cat needs the lion. The cat sees the lion. The cat visits the dog. The dog is big. The dog needs the lion. The dog visits the cat. The dog visits the lion. The lion is not rough. The lion is round. The lion needs the cat. The lion needs the dog. The lion does not visit the cat. If someone visits the cat then they need the dog. If the cat is kind and the cat does not need the lion then the lion is cold. If someone is big then they see the dog. If someone needs the lion and they see the lion then the lion is kind. If someone sees the dog then the dog is not round. If someone needs the cat and they do not see the dog then they visit the dog. If someone sees the cat then they visit the dog. If the lion visits the dog then the lion sees the cat.
The dog is not round.
@0: The cat does not need the dog.[(triple3)] The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat needs the lion.[(triple4)] The cat sees the lion.[(triple5)] The cat visits the dog.[(triple6)] The dog is big.[(triple7)] The dog needs the lion.[(triple8)] The dog visits the cat.[(triple9)] The dog visits the lion.[(triple10)] The lion does not visit the cat.[(triple15)] The lion is not rough.[(triple11)] The lion is round.[(triple12)] The lion needs the cat.[(triple13)] The lion needs the dog.[(triple14)] @1: The cat sees the dog.[(((triple1) -> rule3))] The dog needs the dog.[(((triple9) -> rule1))] The dog sees the dog.[(((triple7) -> rule3))] The lion is kind.[(((triple4 triple5) -> rule4))] @2: The dog is not round.[(((((triple1) -> rule3)) -> rule5) OR ((((triple7) -> rule3)) -> rule5))]