The dog is blue. The dog is green. The dog is kind. The dog is round. The dog is young. The dog likes the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is blue. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the dog. The tiger sees the dog. The tiger visits the dog. If something likes the dog then it visits the dog. If something sees the dog and the dog is round then it likes the dog. If something visits the tiger then it visits the dog. If something is green then it visits the dog. If something visits the dog then it sees the dog. If something visits the tiger and it likes the dog then it visits the dog.
The dog does not visit the dog.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog likes the tiger.[(triple6)] The dog sees the tiger.[(triple7)] The dog visits the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is round.[(triple12)] The tiger likes the dog.[(triple13 OR ((triple14 triple4) -> rule2) OR ((((triple15) -> rule5) triple4) -> rule2) OR ((((((triple10) -> rule4)) -> rule5) triple4) -> rule2))] The tiger sees the dog.[(triple14 OR ((triple15) -> rule5) OR ((((triple10) -> rule4)) -> rule5) OR ((((triple13) -> rule1)) -> rule5))] The tiger visits the dog.[(triple15 OR ((triple10) -> rule4) OR ((triple13) -> rule1) OR ((((triple14 triple4) -> rule2)) -> rule1))] @1: The dog visits the dog.[(((triple2) -> rule4) OR ((triple8) -> rule3))] @2: The dog sees the dog.[(((((triple2) -> rule4)) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] @3: The dog likes the dog.[(((((((triple2) -> rule4)) -> rule5) triple4) -> rule2) OR ((((((triple8) -> rule3)) -> rule5) triple4) -> rule2))]