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