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